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

Spring 2025: 51170 (55), 51175 (55) 13 Jan - 28 Apr 2025 RLP 1.106: MWF 10 am & 11 am ...

In a recent interview with TechGuide.org, UT Austin Computer Science Professor Peter Stone shares insights on how undergraduates can secure research opportunities in AI. As the founder of the Learning ...

Brent Waters, a cryptography professor in the Department of Computer Science at UT Austin, was recently named one of IEEE’s ...

UT Austin researchers have improved their AI-powered brain decoder, allowing it to translate thoughts into continuous text ...

Dr. Adam Klivans, UT Computer Science professor and director of the Institute for Foundations of Machine Learning, joined KXAN Austin to discuss the impact of DeepSeek’s latest AI model. He explained ...

Sumaya M Al-Bedaiwi, [email protected], Office hours: Mon 12:30 PM - 1:30 PM, Wed 3:30 PM - 4:30 PM in the GDC Basement.

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

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

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

A better picture: surrounded by beautiful women.