Scholar
Isil Dillig
Google Scholar ID: Wlq5rZEAAAAJ
UT Austin
Citations & Impact
Citations
5,126
H-index
42
i10-index
88
Publications
20
Co-authors
53
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Recipient of the 2025 ACM SIGPLAN Robin Milner Award. Recognized with several best or distinguished paper awards, such as at POPL'22, CHI'21, OOPSLA'20, PLDI'19, PLDI'18, OOPSLA'17, and ETAPS'17. Selected as a Sloan Fellow in 2015 and won an NSF CAREER award in 2015. Also won various teaching awards, such as the UT Austin CNS Teaching Excellence Award and the 'Texas 10' award.
Research Experience
- Primary research areas are Programming Languages and Formal Methods. Interested in developing techniques to make software systems more secure, reliable, and easier to build. Research focuses on software analysis and verification, program synthesis, new domain-specific languages and type systems, and automated theorem proving. Research projects evolve based on students' interests.
Education
- Obtained all degrees (BS, MS, PhD) in Computer Science from Stanford University.
Background
- Professor at the Computer Science Department of the University of Texas at Austin, leading the UToPiA research group. Primary research area is Programming Languages, with a current emphasis on program synthesis and verification. Co-founder of Veridise, a blockchain/web 3 security company.
Miscellany
- Avid hiker, photographer, and scuba diver. Enjoys the great outdoors and discovering new places. Also enjoys swimming, trying new recipes, and chilling at home with her husband, a mathematician turned bio-informatician. Originally from Istanbul, Turkey, moved to California after high school. Has been living in Austin since joining UT in 2014.
