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 ...

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

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

Recent advances in formal methods have demonstrated that it is practical to verify realistic, large scale systems, and even to automatically synthesize their implementations. This course will examine ...

Wed Aug 24 Introduction How to Read and Evaluate Technical Papers ...

PhD student Yeonju Ro received the 2024 IBM PhD Fellowship award with an endowment of $40,000.

MJRTY - A Fast Majority Vote Algorithm, with R.S. Boyer. In R.S. Boyer (ed.), Automated Reasoning: Essays in Honor of Woody Bledsoe, Automated Reasoning Series ...

This course is also sometimes cross-listed (as e.g. CS 384G) depending on what other sections of Computer Graphics are offered each year. This is an accelerated introductory course on the major topics ...

The algorithms and computational theory (ACT) group focuses on the theoretical foundations of computer science. The current research interests of faculty in the group include algorithm design, ...