Design and Optimization of an Omnidirectional Humanoid Walk:A Winning Approach at the RoboCup 2011 3D Simulation Competition. Patrick MacAlpine, Samuel Barrett, Daniel Urieli, Victor Vu, and Peter ...

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

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

When emailing us, please put CS395 in the subject line. Topics: This is a graduate seminar course in computer vision. We will survey and discuss current vision papers relating to object and activity ...

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

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

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

The Five-Year BS/MS integrated program enables highly motivated students with strong academic records to earn a Bachelor of Science in Computer Science and a Master of Science in Computer Science (BS ...