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 high voltage pylon against a blue sky.

Energy Savings with Smart Grid Systems

Sept. 4, 2014
Currently, local utilities in the U.S. generate 12 percent more energy than they anticipate needing. Otherwise, if they experience a brownout or blackout, utility companies face heavy penalties from the government. “Most of that extra energy is going to waste,” WNCG Prof. Brian Evans states. “If utility companies had access to better information, they could predict user demand and how it evolves over the day. They could reduce energy waste by around four-to-six percent.”