Write a Blog >>
Işil Dillig

Registered user since Thu 10 Apr 2014

Name:Işil Dillig

Isil Dillig is an Associate Professor of Computer Science at the University of Texas at Austin where she leads the UToPiA research group. Her main research area is programming languages, with a specific emphasis on static analysis, verification, and program synthesis. The techniques developed by her group aim to make software systems more reliable, secure, and easier to build in a robust way. Dr. Dillig is a Sloan Fellow and a recipient of the NSF CAREER award. She obtained all her degrees (BS, MS, and PhD) from Stanford University.

Country:United States
Affiliation:University of Texas Austin
Research interests:Program analysis, program synthesis, program verification, programming languages, security, software engineering


PLMW 2020 Automated Program Verification using Abductive Reasoning
Invited Speaker in Invited speakers within the PLMW 2020-track
POPL 2020 Visualization by Example
Show activities from other conferences

POPL 2020-profile
View general profile