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 in a tie standing next to a boat.

Institute of Navigation presents Prof. Todd Humphreys with the Thomas L. Thurlow Award

Feb. 3, 2015
Manassas Virginia, January 28, 2015 - The Institute of Navigation (ION) presented its Thomas L. Thurlow Award to Dr. Todd Humphreys at the ION International Technical Meeting (ITM)in Dana Point, California, January 26-28, 2015. Dr. Humphreys was recognized for contributions that enhance radionavigation security and robustness in the face of intentional spoofing and natural interference.