معرفی
Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her work focuses on programming languages, with specific emphasis on program analysis, verification, and synthesis.
- B.S., M.S., and Ph.D. from Stanford University
Her research aims to enhance software reliability, security, and development efficiency through advanced synthesis techniques. Recent work spans:
- Neurosymbolic and semantic synthesis
- Blockchain and smart contract optimization
- Type systems for safety
She has received prestigious accolades including:
- Sloan Fellowship
- NSF CAREER award
Contributions to the field include leadership roles in conference organization and mentoring initiatives. Her lab actively explores applications in databases, security, and concurrent programming.
۰مقاله منتشرشده
