As part of an annual tradition, the College of Natural Sciences recongized a select number of graduates from across the ...

Artificial Intelligence and Life in 2030. Peter Stone, Rodney Brooks, Erik Brynjolfsson, Ryan Calo, Oren Etzioni, Greg Hager, Julia Hirschberg, Shivaram ...

Peter Stone, UTCS Professor and Director of Texas Robotics, earned the ACM - AAAI Allen Newell Award for his significant contributions in machine learning and artifical intelligence. Peter Stone, ...

Computing Across Disciplines is a three-part series on cross-campus programs combining computer science with other fields of study at UT Austin. In our final installment, we’re highlighting a program ...

Third-year doctoral student, Jiaheng Hu is one of two recipients selected for a Ph.D. fellowship with Two Sigma, a New York-based hedge fund dedicated to research and development in science, ...

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

UT Austin’s Scott Aaronson and his former postdoctoral researcher, Shih-Han Hung, played a key role in demonstrating the first practical use of quantum computing: generating and verifying truly random ...

Quick Index: [ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | VWXYZ] If you are working on or know of related work not mentioned ...

Fall, 2025; TuTh 9:30-11:00 AM; GDC 5.302 (in-person, no Zoom option).

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