Big news from UTCS: With renewed funding from the National Science Foundation, IFML researchers are expanding their work to make AI more accurate, reliable, and ready for the real world. This critical ...

Kim’s NSF CAREER Award builds on a growing portfolio of federal and industry support, including a 2024 NSF NeTS grant ...

Hello! I am a fifth year Ph.D. student in Computer Science at NYU (Courant Institute). I am fortunate to be advised by Eunsol Choi. My primary research interests include machine learning and natural ...

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

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

I am an Associate Professor of Instruction in the Department of Computer Science. I did my undergraduate work at Purdue and Illinois and my graduate work at MIT, Stanford, and Texas. I have worked at ...

These are excerpts from an article by Steven Weinberg published in the New York Review of Books, Vol XLV, Number 15 (1998). I first read Thomas Kuhn's famous book The Structure of Scientific ...

Fig.1 - Rectified flow learns neural ODEs with straight trajectories for both generating (up two rows) and transferring (lower two rows) data, with a very small number N of Euler steps (even a single ...

For a complete installation of Gnu Common Lisp get gcl-2.6.1.exe (15 MB download, 60 MB to install). Unfortunately, at present this version of GCL produces a ^M (Return) character at the end of each ...

This course will cover a broad range of topics in the general area of 3D Vision and 3D Geometry Processing, ranging from 1) reconstructing 3D models from images and depth scans, 2) 3D representations ...

Thomas Dillig WebsiteInductive Invariant Generation via Abductive Inference Conference talk, OOPSLA 2013. Synthesis of Circular Compositional Program Proofs via Abduction Conference talk, TACAS 2013.

William D. (Bill) Young Associate Professor of Instruction and Research Scientist Contact info: Department of Computer Science The University of Texas at Austin 2317 Speedway, Stop D9500 Austin, TX ...