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.

1 On our inability to do much. 4 On the reliability of mechanisms. 8 On our mental aids. 15 An example of a correctness proof. 19 On the validity of proofs versus the validity of implementations. 21 ...

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

Computer ethics as a field of study was founded by MIT professor Norbert Wiener during World War Two (early 1940s) while helping to develop an antiaircraft cannon capable of shooting down fast ...

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

E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

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

Personal Homepage of David Wu (UT Austin Computer Science) ...