Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Isil Dillig

Registered user since Thu 10 Apr 2014

Name: Isil Dillig

Bio: 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

Personal website: http://www.cs.utexas.edu/~isil/

Research interests: Program analysis, program synthesis, program verification, programming languages, security, software engineering

Contributions

SPLASH 2019Author of Relational Verification using Reinforcement Learning within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
Keynote Speaker of Programming Support for Evolving Database Applications within the Keynotes-track
Show activities from other conferences

SPLASH 2019-profile
View general profile