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 glasses is standing in front of a colorful background.

Prof. Joydeep Ghosh Receives $660K from NSF

Aug. 25, 2014
As the adoption of Electronic Health Records (EHRs) increases in the USA, the complexity of EHR data is growing dramatically. EHR data now covers diverse information about patients, including diagnosis, medication, lab results, genomic information and clinical notes. However, such large volumes of information do not readily provide accurate and succinct patient representations for effective and customized healthcare.