Her main research area is programming languages, with a specific emphasis on static analysis, verification, and program synthesis. The techniquesdeveloped by her group aim to make software systems more reliable, secure, and easier to build in a robust way. Dr. Dillig is a Sloan Fellow and a recipient of the NSF CAREER award. She obtained all her degrees (BS, MS, and PhD) from Stanford University. Prior to joining UT Austin, Dr. Dillig worked as a researcher at Microsoft Research and as an assistant professor of computer science at the College of William & Mary. Outside of work, she enjoys hiking, scuba diving, and photography.