Priyanka Golia

Priyanka Golia

Ph.D. Candidate

Hi ! I am a Joint Ph.D candidate with Indian Institute of Technology, Kanpur,India, and National University of Singapore. My research advisers are Subhajit Roy and Kuldeep S. Meel.

My research interest lies in the area of Boolean Function Synthesis, Constraint Solving and Sampling, and Knowledge Compilation.

Publications

Manthan: A Data-Driven Approach for Boolean Function Synthesis. 32nd International Conference on Computer-Aided Verification, CAV, 2020.

PDF Slides Video

A Data-Driven Approach for Skolem Function Synthesis. LiVe 2020: 4th Workshop on Learning in Verification, ETPAS, 2020.

PDF

Software

Manthan

Manthan: A Data-Driven Approach for Boolean Function Synthesis