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

Consistently ranked one of the nation's top computer science programs, UT Computer Science supplies the people and ideas shaping the digital frontier.

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

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

This chapter is a reference for the Pintos code. The reference guide does not cover all of the code in Pintos, but it does cover those pieces that students most often find troublesome. You may find ...

These notes have the status of “Letters written to myself”: I wrote them down because, without doing so, I found myself repeating the same arguments over and over again. When reading what I had ...

You need to have downloaded and installed BlueJ before completing the following steps. Download the java files you need from the class web site. You don't have to put ...

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

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

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