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

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

Research: I am particularly interested in physical simulation, particularly of thin, elastic materials like cloth, hair, and paper, as they deform and collide; geometry processing and design, using ...

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

NOTE: If you intend to obtain an incremental release (e.g. 2.9.4 as opposed to 2.9), please see the ACL2 News for instructions. Otherwise, continue reading here. A collection of books (ACL2 input ...

Computing Across Disciplines: X+CS In this first installment of Computing Across Disciplines, we introduce X+CS, an interdisciplinary program launching in fall 2025. Developed in partnership with ...

About this Course: CS303E is the first course in the Programming and Computation series (previously the Elements of Computing series) for non-CS majors. Computing is an integral part of many ...

Thank you for your interest in the on-campus UT Computer Science graduate program! Please note: This FAQ is for the on-campus MS and PhD graduate programs. Please see the Computer & Data Science ...

VisualVoice: Audio-Visual Speech Separation with Cross-Modal Consistency. R. Gao and K. Grauman. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2021. [pdf] ...

The Programming and Computation Certificate (formerly known as the Elements of Computing Certificate) is an 18-hour program that helps students understand our everyday technologies and gain computer ...

PART THREE Object-Oriented Design As we have stressed several times, the programming process consists of a problem-solving phase and an implementation phase. The problem-solving phase includes ...