Işıl Dillig, a professor in the Department of Computer Science at The University of Texas at Austin, earned the 2025 Robin ...

SCRAM for RoboCup 3D For the RoboCup 3D simulation competition UTAustinVilla uses a SCRAM dynamic role assignment and formation positioning system in order to coordinate movement of the team. Each ...

The TRIPS toolchain includes several simulators at different levels of abstraction. These include the following: tsim_arch: a fast instruction emulator useful for compiler development and code ...

Generative modeling: This is the case when π 1 is an empirically observed unknown distribution (of e.g., images), and π 0 an elementary distribution, such as the standard Gaussian distribution. We are ...

Cmodels is a system that computes answer sets for either disjunctive logic programs or logic programs containing choice rules. Answer set solver Cmodels uses SAT solvers as a search engine for ...

My Research Interests lie in Machine Learning and its application in Computer Vision and Natural Language Processing. Beyond using Machine Learning to discover rules and structures already known to us ...

This was a statement in my opening invited talk at the ACL 2014 Workshop on Semantic Parsing, the slides are available on this site. As I said at the talk, you can use your language model of informal ...

Computer ethics as a field of study was founded by MIT professor Norbert Wiener during World War Two (early 1940s) while helping to develop an antiaircraft cannon capable of shooting down fast ...

Marijn J. H. Heule (2018). Schur Number Five. Proceedings of AAAI-18, pp. 6598-6606. [link, arXiv] Marijn J. H. Heule, Oliver Kullmann, and Armin Biere (2018). Cube and Conquer for Satisfiability.

AI addresses the challenges of machine cognition, spanning the theoretical and empirical across diverse subfields such as machine learning, computer vision, NLP, and robotics.

The training corpus for Geoquery system contains 880 examples of queries in natural language paired with the corresponding queries in the formal query language. The learning systems for semantic ...

Our computer science courses are restricted to CS students. Students hoping to minor in computer science should complete our Elements of Computing Program. The 18-hour certificate option will be ...