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

Every year, we send four teams (each consisting of three students) to the tri-state South Central Regional. One team from UT Austin might advance to the North America Championship and the World Finals ...

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

The 2025-2026 rankings tout computer science at The University of Texas at Austin as among the seven best nationally. The UT Computer Science graduate program continues to be recognized as a top 10 ...

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

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

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