Işil Dillig

Assistant Professor
Office: 
GDC 5.726
Phone: 
512-471-9794
Email: 
isil [at] cs [dot] utexas [dot] edu
Research: 
  • Program Analysis
  • Programming Langauges
  • Automated Logical Reasoning