I am a Joint Ph.D candidate with Indian Institute of Technology, Kanpur, 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.

Here is my Resume

Contact:

pgolia@cse.iitk.ac.in

Github I'd- priyanka-golia


Research Papers:

  • Manthan: A Data-Driven Approach for Skolem Function Synthesis

with Subhajit Roy and Kuldeep S. Meel

International Conference on Computer-Aided Verification (CAV), 2020

[PDF]


Workshop Papers:

  • A Data-Driven Approach for Skolem Function Synthesis

with Subhajit Roy and Kuldeep S. Meel

4th Workshop on Learning in Verification (LiVe), ETAPS , 2020