Isil Dillig
Associate Professor
"Department of Computer Science "
University of Texas at Austin
United States of America
Biography
Dillig is a graduate of Stanford University, where she received both her bachelor's degree as well as her Ph.D. in computer science. After completing her doctorate in 2011, she worked as an assistant professor at the College of William and Mary in Williamsburg, Virginia. Dillig's research interests include program analysis, programming languages, and automated logical reasoning. The main goal of her research is to make software systems more reliable, secure, and easier to build in a robust way.
Research Interest
programming languages, and automated logical reasoning
