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
View general profile