Isil Dillig is an associate professor at the computer science department of the University of Texas at Austin where she leads the UToPiA research group. Her main research interests are program analysis and verification, program synthesis, and automated logical reasoning. The overarching goal of Dr. Dillig's research is to improve the security, reliability, and programmability of software systems.
Isil Dillig obtained all her degrees (BS, MS, PhD) from Stanford University. She is a recipient of an NSF CAREER award and a Sloan Fellowship.