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.
WNCG welcomes new Assistant Professor Dr. Evdokia Nikolova to its lineup of world renowned faculty researchers.
Prof. Nikolova is the winner of a 2014 NSF CAREER Award and a 2013 Google Research Award. Her research on traffic-aware routing has been adapted in a vehicular cyber-physical system project CarTel at MIT.