SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
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

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile