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

Professor of Computer Sciences, University of Texas at Austin. B.S. in Computer Engineering, University of Illinois at Urbana/Champaign, 1983 M.S. in Computer Science, University of Illinois at Urbana ...

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