Işıl Dillig

Işıl Dillig is a Professor and Associate Chair in the Department of Computer Science at The University of Texas at Austin, College of Natural Sciences. She is a leading researcher in Programming Languages and Formal Methods with interdisciplinary work spanning artificial intelligence, security, and systems.

Prof. Dillig earned all her degrees from Stanford University:

• Ph.D. in Computer Science
• M.S. in Computer Science
• B.S. in Computer Science

Her research centers on program analysis, verification, and synthesis to enhance software security and reliability. She develops tools for proving error absence, detecting vulnerabilities, and synthesizing programs from specifications using automated logical reasoning. Applications extend to AI-driven security, database systems, and performance optimization.

Recent publications emphasize program synthesis via conflict-driven learning and input-output examples, alongside static analysis for security and performance bugs. Her work bridges formal methods with practical systems, yielding tools for Android malware detection and asymptotic bug prevention.

Accolades include:

• Sloan Fellowship (2015) and NSF CAREER Award (2015)
• Best paper awards at PLDI (2018), OOPSLA (2017), and ETAPS (2017)
• Texas 10 Award and CNS Teaching Excellence Award
• ACM SIGPLAN Robin Milner Young Researcher Award (2025)