News

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.  

With Big Data playing a role in the lives of companies and individuals across the globe, and data being collected on everything from apps to electronic health records to parking meters, society debates how best to use this mass of information. “The stormy sea of Big Data can lead to data indigestion,” WNCG Associate Director Prof. Constantine Caramanis states. “We are interested in the application of data for engineering problems, from petroleum to health to recommendation engines.”

With Big Data playing a role in the lives of companies and individuals across the globe, and data being collected on everything from apps to electronic health records to parking meters, society debates how best to use this mass of information. “The stormy sea of Big Data can lead to data indigestion,” WNCG Associate Director Prof. Constantine Caramanis states. “We are interested in the application of data for engineering problems, from petroleum to health to recommendation engines.”

There is a new app on the market that encourages users to go nuts over healthcare, complete with a squirrely mascot. Created by the founders of Accordion Health and dubbed the “health nuts,” the two new apps, Pistachio and Chestnut, bring medical care back under the control, and into the palms of, users and patients.