News

A man giving a presentation.

UT Austin Hosts MEMOCODE 2015

Oct. 5, 2015
The 13th ACM-IEEE International Conference on Formal Methods and Models for System Design was held this year on the UT Austin campus September 21-23. The conference was held in conjunction with co-located FMCAD, SAT, DIFTS and ACL2 conferences.  
A man wearing glasses and a purple shirt.

Postdoc Pedro Santacruz Accepts Faculty Position

July 6, 2015
WNCG Postdoctoral Researcher, Pedro Santacruz, recently accepted a position as an Assistant Professor in the Electrical Engineering Department at San Jose State University. “Since I started working on my PhD, an academic position has always been my ultimate goal,” Prof. Santacruz states. “I have a particular affinity for teaching and, combined with the possibilities for research, an academic position is a perfect fit for me.”