Page not found

Perhaps you were looking for one of these?

Latest

• We are organizing the ACM India IndiCS seminar on <a href="https://indics-synthesis.github.io/"> Automated Synthesis</a>, together with Supratik Chakraborty, Aalok Thakkar, and Kumar Madhukar.
• We are organizing workshop on <a href="https://mccompetition.org/2025/mcw_description"> Counting, Sampling, and Synthesis</a>, together with Paulius Dilkas.
• Together with Jie An, I will be serving as the ATVA 2025 Artifact Evaluation Chair. I look forward to reviewing your systems! Check out the details at <a href="https://conf.researchr.org/track/atva-2025/atva-2025-artifact-evaluation">ATVA-AE 2025</a>
• Invited to give an early career researcher talk at <a href="https://event.india.acm.org/arcs/home/">(ARCS)-ACM India event. </a>
• Extremely happy and deeply grateful to have been chosen as the recipient of the <a href="https://awards.acm.org/award-recipients/golia_2507421">ACM India 2024 Doctoral Dissertation Award.</a>
• I will be giving a keynote talk at [ICTAC-24](https://ictac2024.cs.ait.ac.th) on Automated Synthesis
• Received the Manas Mandal Outstanding PhD Thesis Award at IIT Kanpur.
• Functional Synthesis via Formal Methods and Machine Learning
• Ph.D. Done! Successfully defended my Ph.D. thesis, "Functional Synthesis via Formal Methods and Machine Learning." <br> Thankful to my amazing advisors, Kuldeep S. Meel and Subhajit Roy.
• Our paper <a href="files/publications/cav-22-entropy.pdf">A Scalable Shannon Entropy Estimator</a> is invited to appear in </code> <a href="https://www.springer.com/journal/10703">Formal Methods in System Design (FMSD)</a> issue dedicated to the best papers from CAV 2022.