WNCG Student Derya Malak recently gave a Graduation Day talk at the 2017 Information Theory and Applications (ITA) workshop in San Diego, CA.
The workshop brings together researchers from around the world and focuses on applying theory to diverse areas within science and engineering.
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.