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
| PLDI 2015 | Committee Member in External Review Committee within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2015-profile
View general profile
View general profile