Işıl Dillig

Professor

University of Texas at Austin · United States

Artificial IntelligenceDatabasesFormal MethodsProgramming Languages and CompilersSecurity and PrivacySystems and NetworkingProgram Analysis and VerificationProgram Synthesis

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。