Isil Dillig is currently an Associate Professor at UTCS. Her main research areas are Programming Languages and Formal Methods (specifically, program verification and synthesis), but her research also touches on Security, Databases, and Artificial Intelligence. Prof. Dillig obtained all her degrees (BS, MS, PhD) from Stanford University, and she is also a Sloan Fellow as as well as an NSF CAREER award recipient. Her research has been recognized by numerous awards, including best paper awards as PLDI, OOPSLA, and ETAPS, and a CACM research highlight. Prof. Dillig has served as co-chair of CAV, the premier conference in Formal Methods, and she has served on Program Committees of most major Programming Languages and Formal Methods conferences.