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

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

This web page provides supplementary material to the following paper: SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-makespan for Formational Positioning Patrick MacAlpine, Eric Price ...

The ACL2 Sedan (ACL2s) is an Eclipse-based IDE for ACL2 that is distributed with pre-certified books and pre-built binaries. If you use an alternative development environment (such as Emacs), you can ...

Interests: Computer architecture, reconfigurable logic, computing technologies, ubiquitous and wearable computing, privacy and personal data management, mobile devices, cloud services, datacenter ...

Sometimes, you want to redirect the output of your program to a file–maybe to record it for another program, or because you want to search through it with grep. If you have to do this at the C level, ...

Ewin Tang, a 2018 University of Texas at Austin graduate in computer science and mathematics, is receiving national attention for a feat accomplished at the age of 18 by disproving, as part of an ...

The 2024-2025 rankings tout undergraduate computer science at The University of Texas at Austin as among the ten best nationally.

Prerequisites for CS 313E The is the second course in the Elements of Computing Certificate series. You should have taken CS 303E or CS 312 or an approved first semester programming course.

UT Computer Science rose to No. 10, up from No. 11 last year in U.S. News & World Report’s latest undergraduate rankings. UT Computer Science Undergraduate Program ranked No. 10 nationally, with five ...

UT Austin is celebrating 100 years of quantum science, highlighting its impact on computing, clean energy, and medicine. Faculty member Scott Aaronson is advancing quantum computing by developing ...

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