Amazon just announced its new AI PhD Fellowship program, which will provide two years of funding for more than 100 PhD ...

Fig.2 - Rectified flow between π 0 (magenta contour) and π 1 (red contour). Green and blue lines are the trajectories colored based on which mode of π 0 they are associated with for visualization.

All speakers of the lecture series have received very strict instructions as how to arrange their speech; as a result I expect all speeches to be similar to each other. Mine will not differ, I adhere ...

Some algorithms are more efficient than others. We would prefer to chose an efficient algorithm, so it would be nice to have metrics for comparing algorithm efficiency. The complexity of an algorithm ...

I moved to Carnegie Mellon University. This page is no longer maintained. Visit the link above for the new webpage. My current research focusses on two major challenges for SAT solving: 1) exploiting ...

Let me describe to you by way of introduction the observation that induced me to choose "The threats to computing science" as my topic for this keynote address. The observation is simply that, when ...

1.1.1 What? This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. This book uses Haskell, a pure ...

Since a number of years I am familiar with the observation that the quality of programmers is a decreasing function of the density of go to statements in the programs they produce. Later I discovered ...

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

I retired from UT in December, 2016. My last big project was FREGE, an online environment for learning introductory logic and discrete mathematics. It is an interactive textbook with over 500 problems ...

Jump to section: This is the official site of the UT Austin Villa 3D Simulation team from the Department of Computer Science at the University of Texas at Austin. In the RoboCup 3D Simulation League ...

The Master of Science in Computer Science (MSCS) program is designed for students who have completed a bachelor's degree in computer science and want to further their studies. Admission to the program ...