Registered user since Thu 10 Apr 2014
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.
|PLDI 2022|| Session Chair of Keynote: Emery Berger (part of PLDI)|
Welcome to PLDI 2022
Program Chair in Organizing Committee
Program Chair in PLDI within the PLDI-track
|Show activities from other conferences|