SPLASH 2014 (series) / Thomas Dillig
![Thomas Dillig](https://2014.splashcon.org/getProfileImage/thomasdillig/56090304-e941-4973-be4f-c48913b2d10e/small.jpg?1711490987000)
Not registered as user yet
Name:Thomas Dillig
Bio:
I am an Assistant Professor in the Department of Computer Science at the University of Texas, Austin, TX, USA.
Research Interests: Program Verification, Automatic Constraint Solving
Affiliation:University of Texas, Austin
Personal website: https://www.cs.utexas.edu/faculty/tdillig
Contributions
SPLASH 2014-profile
View general profile
View general profile