UT Austin and Tec de Monterrey have established the OriGen Health Research Center to leverage Latin America’s largest biobank ...

Assistant Professor Yuke Zhu has been named one of five IEEE’s Early Career Award winners for “groundbreaking contributions” ...

Assistant Professor Yuke Zhu has been named one of five IEEE’s Early Career Award winners for “groundbreaking contributions” ...

Omeed Tehrani always dreamed of becoming a doctor. He had always wanted to positively impact the people around him. His ...

Multiagent Traffic Management: A Reservation-Based Intersection Control Mechanism. Kurt Dresner and Peter Stone. In The Third International Joint Conference on Autonomous Agents and Multiagent Systems ...

As president in my sophomore year, CSB tried to do a couple of things. One was social bonding—bringing everyone together ...

Traditional methods of collecting translation and paraphrase data can be prohibitively expensive, making construction of large, new corpora difficult. While crowdsourcing offers a cheap alternative, ...

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

Our students and faculty are changing the world through their contributions to computing education, research, and industry. These awards received by members of the UT Computer Science community make ...

I'm an assistant professor in the Computer Science Department and the Institute for Computational Engineering and Sciences (ICES) at the University of Texas at Austin. I was a PhD student at the ...

This program solves simple math and physics problems stated in English.