Скачать или смотреть Fusing AI and Formal Methods for Automated Synthesis - Priyanka Golia

Dr. Priyanka Golia presents "Fusing AI and Formal Methods for Automated Synthesis" at the University of Windsor School of Computer Science Colloquium Series on November 10, 2023.

Abstract:
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. I 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.

Biography:
Priyanka Golia is a tenure track faculty at CISPA Helmholtz Center for Information Security. Recently, she has completed her Ph.D. in the joint degree program of NUS, Singapore and IIT Kanpur, India. Her research interests lie at the intersection of formal methods and artificial intelligence. In particular, her dissertation work has focused on designing scalable automated synthesis and testing techniques. Her work has been awarded Best Paper Nomination at ICCAD-21 and Best Paper Candidate at DATE-23. She was named one of the EECS Rising Stars in 2022.