We entrust large parts of our daily lives to computer systems, which are becoming increasingly more complex. Developing scalable yet trustworthy techniques for designing and verifying such systems is an important problem. In this talk, our focus will be on automated synthesis, a technique that uses formal specifications to automatically generate systems (such as functions, programs, or circuits) that provably satisfy the requirements of the specification.
We will introduce a state-of-the-art functional synthesis algorithm that leverages artificial intelligence to provide an initial guess for the system and then uses formal methods to repair and verify the guess to synthesize a system that is correct by construction. We will conclude by exploring the potential for combining AI and formal methods to address real-world scenarios.
Short Bio:
Priyanka Golia is an Assistant Professor in the Computer Science and Engineering Department at Indian Institute of Technology Delhi. Prior to that, She was faculty at CISPA Helmholtz Center for Information Security, Germany. Her research interests lie at the intersection of formal methods and artificial intelligence. In particular, her work so far has focused on designing scalable automated synthesis and testing techniques. Her work has been awarded Best Paper Nomination at ICCAD-21, Best Paper Candidate at DATE-23, Invited for FMSD special issues. She was named one of the EECS Rising Stars in 2022.
