An action language is a language for specifying state transition systems, and is commonly used to create formal models of the effects of actions on the world. Action languages are commonly used in the ...

The Robot Perception and Learning Lab launched DexMimicGen, a new data generation system to improve training for humanoid ...

The Robot Perception and Learning Lab launched DexMimicGen, a new data generation system to improve training for humanoid ...

Four undergraduate computer science researchers were recognized by the Computer Research Association in the 2025 CRA ...

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

We introduce a new entity typing task: given a sentence with an entity mention, the goal is to predict a set of free-form phrases (e.g. skyscraper, songwriter, or criminal) that describe appropriate ...

For almost a decade, the need for a non-profit professional society to run the International Conference on Machine Learning (ICML) has been recognized at the editorial board meetings of the Machine ...

It is a misnomer. As Edsger Dijkstra used to say "Computer Science is no more about computers than astronomy is about telescopes". Computer Science is closely related to mathematics. It is the study ...

My research focuses on biologically-inspired computation such as neural networks and evolutionary computation. On one hand, the goal is to understand biological information processing, and on the ...

I am a professor at the Computer Science Department of the University of Texas at Austin where I lead the UToPiA research group. My primary research area is Programming Languages, with a current ...