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 standing in front of a purple background with the words institute idea networks.

Prof. Gustavo de Veciana Appointed Member of IMDEA Networks' Board of Trustees

Dec. 18, 2014
Prof. Gustavo de Veciana, Cullen Trust Professor at the University of Texas at Austin and member of WNCG, has been appointed member of the Board of Trustees of IMDEA Networks Institute. The Board is the highest organ of governance, representation and administration of the Spanish research Institute.