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.  
Two men standing next to a poster at an event.

Student Yingzhe Li Places Top 12 in Worldwide Broadcom Competition

Aug. 24, 2015
IRVINE, Calif. – June 5, 2015 – The University of Texas at Austin graduate student Yingzhe Li presented innovative engineering research at the fourth annual Broadcom Foundation University Research Competition sponsored by Broadcom Foundation, a non-profit funded by Broadcom Corporation (NASDAQ: BRCM). Li’s project is titled “A Stochastic Geometry Approach to the Coexistence of LTE and Wi-Fi in Unlicensed Spectrum.”