Colloquium Series: Fusing AI and Formal Methods for Automated Synthesis by Dr. Priyanka Golia

Friday, November 10, 2023 - 11:00

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.