Işıl Dillig

Pronunciation Guide

Assistant Professor
of Computer Science
University of Texas, Austin


E-mail: isil@cs.utexas.edu

GDC 5.726
2317 Speedway, M/S D9500
The University of Texas
Austin, TX 78712-0233

Phone number: 512-471-9794

Group webpage: http://utopia.cs.utexas.edu/

Biographical Sketch

I am an assistant professor at the computer science department of the University of Texas at Austin where I lead the UToPiA research group . My main research interests are program analysis and verification, program synthesis, and automated logical reasoning. The overarching goal of my research is to make software systems more reliable, secure, and easier to build in a robust way.

I obtained all my degrees (BS, MS, PhD) at Stanford University , where my PhD advisor was Alex Aiken . Prior to joining UT Austin, I worked as a researcher at Microsoft Research Cambridge (2013-2014) and as an assistant professor at the College of William & Mary (2012-2013). I am also a recipient of the NSF CAREER award and the Sloan Fellowship.


My main research interests are static program analysis/verification, program synthesis, and automated logical reasoning. I am interested in developing tools and novel techniques to make software systems more secure and reliable. In particular, my research focuses on automatically proving the absence of certain classes of errors (e.g., memory safety errors, assertion failures etc.) and security vulnerabilities in software. I am also interested in techniques for automatically synthesizing programs from formal or informal specifications.

For more information about our research and the latest news, please check out the UToPiA page !

Current Students and Post-docs
Open Source Software



I am originally from Istanbul, Turkey. I am married to Thomas Dillig, who is also a faculty member at the UT Austin CS department. Outside of work, I enjoy hiking, scuba diving, and photography. I often post my pictures here .

How To Pronounce My Name

My first name is pronounced as "Ishil" rather than "Isil".