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.