Işıl Dillig


Pronunciation Guide

Associate Professor
of Computer Science
University of Texas, Austin

Contact

E-mail: isil@cs.utexas.edu

Address:
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.

Research

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.

You can learn more about my research by checking out my publications or through the UToPiA group web page !


Teaching
Current Students
You can also find out more about my former students and their theses here !

Service
Awards


Personal

I am originally from Istanbul, Turkey and moved to the United States to pursue my undergraduate studies at Stanford University after finishing high school at the beautiful Robert College .

Outside of work, I enjoy hiking, traveling, photography, and scuba diving. I love taking photos, and you can check out some of my photography here.

You can also find out a bit more about me through this interview conducted for the People of PLDI project!


How To Pronounce My Name


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