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 padlock on an orange background.

Orshansky and Vishwanath Receive STARSS Grant for Work on System Security

Sept. 26, 2014
Prof. Michael Orshansky and Prof. Sriram Vishwanath of the Department of Electrical and Computer Engineering in The University of Texas at Austin's Cockrell School of Engineering have received a research grant as part of the Secure, Trustworthy, Assured and Resilient Semiconductors and Systems (STARSS) program. STARSS is a joint program created by the National Science Foundation (NSF) and Semiconductor Research Coporation (SRC).