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

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

I am a 4th year computer science PhD student at UT Austin, advised by Prof. Swarat Chaudhuri. My research focuses on building machine learning frameworks to generate code with human-like efficiency. I ...

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

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

David Zuckerman, professor of computer science at The University of Texas at Austin, and Eshan Chattopadhyay, now an associate professor at Cornell University, have been awarded the 2025 Gödel ...

The University of Texas at Austin is creating one of the most powerful artificial intelligence hubs in the academic world to lead in research and offer world-class AI infrastructure to a wide range of ...

CS361 Assignment 5--AES Crypto Due: Friday, April 24, 2020 by midnight Deliverables: You will be submitting your code via Canvas. Make sure that you clearly identify the members of your team (one or ...

Course Objectives This course considers advanced operating system topics and exposes students to recent developments in operating systems research. The course involves readings and lectures on classic ...