Priyanka Golia is a joint PhD candidate with Indian Institute of Technology, Kanpur, India, and National University of Singapore. Her research advisers are Subhajit Roy and Kuldeep S. Meel. Priyanka likes to explore the area of Boolean Function Synthesis, Constraint Solving and Sampling, and Knowledge Compilation.