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

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

Embark on a transformative, immersive experience at the Academy for All with UT Computer Science, where we go beyond coding to shape the future of technology. In our unique one-week program, students ...

Current version of system Cmodels is 3.86.1. Starting version 3.81 of Cmodels, the system supports incremental answer set solving. (One may add constraints to a program on the fly.) The interface for ...

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.

I'm an assistant professor in the Computer Science Department and the Institute for Computational Engineering and Sciences (ICES) at the University of Texas at Austin. I was a PhD student at the ...

Traditional methods of collecting translation and paraphrase data can be prohibitively expensive, making construction of large, new corpora difficult. While crowdsourcing offers a cheap alternative, ...

Selected Awards IEEE Fellow (2025) IACR Fellow (2024) ACM Fellow (2021) Simons Investigator (2019) Grace Murray Hopper Award (2015) Presidential Early Career Award for Scientists and Engineers (PECASE ...

Quick Index: [ A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | VWXYZ] If you are working on or know of related work not mentioned ...

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

B.S. in Computer Engineering, University of Illinois at Urbana/Champaign, 1983 M.S. in Computer Science, University of Illinois at Urbana/Champaign, 1985 See my invited talk at the EMNLP 2023 Big ...