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 Postdoctoral Associate Javad Ghaderi will join Columbia University this fall as a new tenure-track assistant professor in electrical engineering with a focus on communications and networking. Prof. Ghaderi, who received the offer last year as a student at the University of Illinois at Urbana Champaign (UIUC) deferred the offer until 2014 for the opportunity to study as a Postdoctoral Associate with WNCG.