News

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.  

Student Harpreet Dhillon and former visiting researcher Ralph Tanbourgi receive Best Student Paper Award in the 20th European Wireless Conference in Barcelona, Spain. Their paper was chosen from among 180 papers presented at the conference. Dhillon, advisded by Prof. Jeffrey Andrews, will join Virginia Tech this fall as an Assistant Professor.