Registered user since Thu 10 Apr 2014
Name:Işıl 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
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile