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

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