The Department of Transportation (DOT) has awarded nearly $2 million to a national research consortium that includes lead institution Ohio State University as well as the University of California-Irvine and the University of Texas at Austin. The grant will create a new Tier 1 University Transportation Center (UTC). According to the DOT, these centers aim to “advance research and education programs that address critical transportation challenges facing our nation.”
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.
The Wireless Networking and Communications Group in the Department of Electrical and Computer Engineering at The University of Texas at Austin is part of a team that has been awarded a $1.4 million grant for the development of a Tier 1 University Transportation Center (UTC) by the USDOT’s Research and Innovative Technology Administration (RITA) to advance cutting-edge research and educational programs that address critical transportation challenges facing our nation.