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 in a suit.

Prof. Andreas Gerstlauer Awarded $488K for CPS Research

Sept. 19, 2014
Cyber-Physical Systems (CPS) promise great advances to society in fields such as transportation and healthcare. CPS are computer systems that interact directly with the physical world, such as in robotics or self-driving cars. The challenge, according to WNCG Prof. Andreas Gerstlauer, is these systems must operate within tight constraints imposed by their physical environment. They must be able to complete tasks on time and with minimal overhead in a real-world environment.