Thomas Dillig

Assistant Professor
Computer Science
UT Austin


Contact

E-mail: tdillig@cs.utexas.edu


News

I am looking for talented students and post-docs interested in static analysis, verification or automated reasoning.

If you are interested, send me an email.


I am teaching CS395T this semester.

I have also founded Business Interactive Games, a company creating innovative technologies for better human decision-making.

About Me

I am an assistant professor at UT Austin. Before, I was a senior lecturer at UCL and London and assistant professor at the College of William & Mary.
I graduated with a PhD in Computer Science from Stanford University in 2011.


My CV

Students

Research

My main research interests are program verification and constraint solving. I have worked on precise, scalable and modular analysis of unbounded data structures, such as arrays and containers. My work on constraint solving focuses on online constraint simplification as well as integer linear programming.


Publications

Talks

Projects

Me and Isil are the developers of the following projects:

I was also a member of the following projects: