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

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

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

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

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