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

Biographical Sketch

I am an assistant professor at the computer science department of the University of Texas at Austin. My main research interests are program analysis and verification, formal methods, 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).

What's New

I am looking for motivated PhD students and post-docs to work with!
If you share my research interests, enjoy doing theoretical work with practical and useful applications, and like building software systems, then please consider applying to the UT Austin CS PhD program and working with me!


My main research interests are static program analysis/verification 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 (such as memory safety errors, assertion failures, etc.) in software.

More specifically, my research on static analysis tackles the challenge of designing algorithms that are both sound (i.e., never miss any potential program errors) as well as precise (i.e., do not report a lot of false alarms) and scalable (i.e., work on large programs). Towards this goal, I have worked on a variety of topics including pointer and data structure analysis, loop invariant generation, path-sensitive analysis, and compositional reasoning. On the automated logical reasoning side, I have worked on decision procedures for logical satisfiability, constraint simplification, and abductive inference. I am also interested in program synthesis, applications of static analysis in security, and program optimization techniques.


  • Fall 2014: CS311H: Honors Discrete Mathematics (UT Austin)
  • Spring 2013: CS643: Automated Logical Reasoning (taught at W&M)
  • Fall 2012: CS243: Discrete Mathematics (taught at W&M)
  • Spring 2012: CS780-02: Automated Logical Reasoning (taught at W&M)

    • CAV 2015 Program Commitee
    • Co-chair of OOPSLA 2014 Student Research Competitions
    • ESOP 2015 Program Commitee
    • HVC 2014 Program Commitee
    • Chair of PLDI 2014 Student Research Competition
    • ECOOP 2014 Program Commitee
    • ESOP 2014 Program Committee
    • Chair of PLDI 2013 Student Research Competition
    • SAS 2013 Program Committee
    • Co-chair of OOPSLA 2013 Student Research Competition
    • OOPSLA 2013 Extended Review Committee
    • POPL 2013 Program Committee
    • OOPSLA 2012 Program Committee
    • PLDI SRC 2012 Judging Committee
    Software Projects

    • COMPASS Program Verification System.
    • Mistral SMT solver available under GPL license from here .
    • SAIL program analysis front-end for C and C++. Available under BSD license from here .
    • SATURN program analysis system. Available under BSD license from here.


    • Distinguished Reviewer Award, OOPSLA 2012
    • Stanford Graduate Fellowship, 2008-2010.
    • Forbes School of Engineering Fellowship, 2006-2007.
    • Wegbreit Award for the best undergraduate honors thesis in computer science. Stanford University, 2006.
    • Firestone Medal for excellence in undergraduate research. Stanford University, 2006.
    • Frederick Emmons Terman Engineering Scholatic Award for outstanding achievement in engineering. Stanford University, 2006.
    • Mary Mills Patrick Award for highest GPA at Robert College, Istanbul, 2002.
    • Dora Aksoy Award for Excellence in Mathematics. Robert College, Istanbul, 2002.


    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.


    Some pictures
    Tom's webpage
    New York Times
    PhD Comics

    How To Pronounce My Name

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