Generate a tailored SOP for Dr. Isil Dillig. Improve your application with a focused, well-structured draft.
Isil Dillig is a Professor in the Department of Computer Science at the University of Texas at Austin. Her main research areas include Programming Languages and Formal Methods, specifically focusing on program verification and synthesis. Dillig's research is interdisciplinary and has received numerous accolades, including multiple distinguished paper awards at leading conferences such as PLDI, POPL, OOPSLA, ETAPS, and CACM. She is also a recipient of the Sloan Fellow and NSF CAREER award. Dillig's research highlights include the development of tools and novel techniques aimed at enhancing the security and reliability of software systems. Specifically, her work focuses on automatically proving the absence of certain classes of errors and security vulnerabilities in software as well as techniques for synthesizing programs from both formal and informal specifications. She has served in leadership roles within the academic community, including co-chairing premier conferences in Formal Methods and being involved in program committees for major Programming Languages and Formal Methods conferences. Dillig has received multiple teaching awards, including the Texas 10 CNS Teaching Excellence Award.
General requirements for the Graduate School at UT Austin apply to all programs unless otherwise specified.