SPLASH 2014 (series) / Thomas Dillig

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 | Committee Member in External Review Committee within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2014-profile
View general profile
View general profile