The School of Computer Science at the University of Windsor is pleased to present…
Speaker: Dr. Priyanka Golia
Title: Fusing AI and Formal Methods for Automated Synthesis
Date: Friday November 10, 2023
Time: 11:00 am – 12:00 pm
Location: Erie Hall, Room 3123
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.