Mina Huh, a computer science Ph.D. student at UT Austin, has been awarded a Google Ph.D. Fellowship, the company announced on ...

Nothing on my web pages should be taken as representing the official position of the University of Texas at Austin or any other part of the government of the State of Texas.

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

The Geoquery Demo is no longer available, but the resources below can still be downloaded. The training corpus for Geoquery system contains 880 examples of queries in natural language paired with the ...

Benjamin Kuipers. 2001. Qualitative simulation. In R. A. Meyers (Ed.), Encyclopedia of Physical Science and Technology, Third Edition, NY: Academic Press. The QR book is the definitive presentation of ...

Common sense, and hence most other human knowledge, is built on knowledge of a few foundational domains, such as space, time, action, objects, causality, and so on. We are investigating how this ...

Adding Influencing Agents to a Flock. Katie Genter and Peter Stone. @InProceedings{AAMAS16-katie, author = {Katie Genter and Peter Stone}, title = {Adding Influencing Agents to a Flock}, booktitle = ...

Learning Perceptual Hallucination for Multi-Robot Navigation in Narrow Hallways. Jinsoo Park, Xuesu Xiao, Garrett Warnell, Harel Yedidsion, and Peter Stone. In Proceedings of the 2023 IEEE ...

The goal of our research is to enable personal robots to be deployed in the home and workplace with minimal intervention by robotics experts. In settings such as these, robots do not operate in ...

Recent advances in formal methods have demonstrated that it is practical to verify realistic, large scale systems, and even to automatically synthesize their implementations. This course will examine ...

Recent advances in autonomous vehicle technology will open the door to highlyefficient transportation systems in the future, as demonstrated by Autonomous Intersection Management, an intersection ...

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