Dillig received his undergraduate degree and Ph.D. in Computer Science from Stanford University. The goal of his research is to make programs more reliable through static reasoning. Specifically, Dillig is interested in developing precise static analysis techniques that work on real programs. He is also interested in constraint solving and simplification techniques and applying them to program analysis problems. Dillig was an assistant professor at the College of William and Mary before joining the Department of Computer Science at The University of Texas at Austin.