Isil Dillig

Research
- Program Analysis and Verification
- Program Synthesis
- Automated Logical Reasoning
Prof. Dillig's main research interests are program analysis/verification, program synthesis, and automated logical reasoning. She is interested in developing tools and novel techniques to make software systems more secure and reliable. In particular, her research focuses on automatically proving the absence of certain classes of errors and security vulnerabilities in software. She is also interested in techniques for automatically synthesizing programs from formal or informal specifications.