Işıl Dillig

Pronunciation Guide

Associate 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 associate 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. I obtained all my degrees (BS, MS, PhD) at Stanford University . I am a 2015 Sloan Fellow and a recipient of an NSF CAREER award.


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 !

Selected Publications
Current Students and Post-docs
Open Source Software



I am originally from Istanbul, Turkey. Outside of work, I enjoy hiking, scuba diving, and photography. I post my pictures here.

How To Pronounce My Name

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