Işıl Dillig

Işıl Dillig is an Associate Professor in the Department of Computer Science at the University of Texas at Austin, leading the UToPiA research group. She focuses on programming languages, with emphasis on static analysis, verification, and synthesis to enhance software reliability and security.

• Education: BS, MS, PhD in Computer Science from Stanford University

Her research addresses critical challenges in:

• Program analysis for security and correctness
• Automated program synthesis for complex tasks
• Verification of concurrent and database-driven systems

Recent publications span neurosymbolic synthesis, database integration, and smart contract optimization. Trends include hybrid AI-formal methods approaches and domain-specific language design.

Scientific recognition includes:

• Sloan Fellowship
• NSF CAREER award

She actively contributes to academic leadership as committee member, program chair, and keynote speaker in top conferences like PLDI, OOPSLA, and POPL.