POPL 2017
Sun 15 - Sat 21 January 2017
Isil Dillig

Registered user since Thu 10 Apr 2014

Name: Isil Dillig

Bio: Isil Dillig is an assistant professor of computer science at UT Austin. She obtained all her degrees (BS, MS, PhD) in computer science from Stanford University. Prior to joining UT Austin, she was a researcher at Microsoft Research and an assistant professor at the College of William & Mary.

Affiliation: UT Austin

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

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

Contributions

PLMWCommittee Member in Speaker
Author of Abductive Reasoning in Deductive Verification within the PLMW-track
POPL 2017ERC member in External Review Committee
Author of Component-Based Synthesis for Complex APIs within the POPL-track
Show activities from other conferences

POPL 2017-profile
View general profile