Thomas Dillig

Assistant Professor
Office: 
GDC 7.716
Phone: 
512-471-9791
Email: 
tdillig [at] cs [dot] utexas [dot] edu
Research: 
  • Program Verification
  • Automatic Constraint Solving