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.