POPL 2017
Sun 15 - Sat 21 January 2017
Işil Dillig

Registered user since Thu 10 Apr 2014

Name:Işil Dillig

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
Research interests:Program analysis, program synthesis, program verification, programming languages, security, software engineering


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

POPL 2017-profile
View general profile