• PhD Students: Teodora Baluta (co-advised with Prateek Saxena); Md Mohimenul Kabir; Yash Pote; Uddalok Sarkar (co-advised with Sourav Chakraborty); Arijit Shaw ; Yang Suwei; Jiong Yang
• Post-docs: Dr. Paulius Dilkas; Dr. Gunjan Kumar; Dr. Yacine Izza; Dr. Anna Latour, Dr. Timothy van Bremen

• Dr. Priyanka Golia (2023), co-advised with Prof. Subhajit Roy
  PhD Thesis: Functional Synthesis via Formal Methods and Machine Learning
  Current Job: Assistant Professor, IIT Delhi
• Dr. Bishwamittra Ghosh (2023)
  PhD Thesis: Interpretability and Fairness in Machine Learning: A Formal Methods Approach
  Current Job: Post-doc, Max Planck Institute for Software Systems, Saarbrucken, Germany

• Dr. Mate Soos, Senior Research Fellow (Mar-June 2023; Jul -- Sep 2019; Mar -- June 2018)

• Dr. Yong Lai (Aug 2019-Aug 2020), now: Associate Professor at Jilin University
• Dr. Vignesh Sivaraman (Sep 2020-Apr 2021), now: Assistant Professor at IIIT Hyderabad.
• Dr. Lawqueen Kanesh (Jan 2021-Dec 2021), now: Assistant Professor, IIT Jodhpur
• Dr. Jaroslav Bendik (Jan 2021-Apr 2021), now: Team Lead at Certora

• Alexis de Colnet, MComp@NUS (Graduated: Dec 2018); now post-doc at TU Wien
• Rahul Gupta, BTech+MTech@IITK ( co-advised with Subhajit Roy (IITK)
• Shubham Sharma, BTech+MTech@IITK (Graduated: May 2019), co-advised with Subhajit Roy (IITK)
• Delannoy Remi Christian, MComp@NUS, (Graduated: Dec 2019)
• Lorenzo Ciampiconi, MS@Politecnico di Milano (Graduated: Dec 2019)

• Research Topic
• Year
• Publication Type

• CSC2512: Advanced Propositional Reasoning (Fall 2023)
• CS3243: Introduction to Artificial Intelligence (Fall 2020; Fall 2021)
• CS 4244: Knowledge Representation and Reasoning (Spring 2023; Spring 2021; Spring 2020; Spring 2019; Spring 2018)
• CS 4269/5469: Fundamentals of Logic in Computer Science (Fall 2019)
• CS 6283: Advanced Topics in Computer Science: Logic in AI (Fall 2018)

• Program Co-Chair: SAT 2022
• Co-organizer:
  • Beyond Satisfiability at Simons's Institute Program on Satisfiability: Theory, Practice, and Beyond
  • (Co-chair) CP 2020 Doctoral Program
  • Workshop on Counting and Sampling (since 2020)
  • (Sponsorship Co-chair) KR 2021
  • 1st Workshop on Probabilistic Reasoning and Formal Methods
  • Indian SAT-SMT Winter School (since 2019).
• Recent Program Committee: SAT-22 (Program Co-chair), PODS-24, ICML-23 (AC), CAV-23, SAT-23, IJCAI-23 (SPC), AISTATS-23 (AC), FMCAD-23, AAAI-23, FoSSaCS-23, AAAI-22 (SPC),FMCAD-22, IJCAI-22 (AC), CAV-22, NeurIPS-21 (AC), IJCAI-21 (SPC), AAAI-21 (SPC), FMCAD-21
• Awarded Distinguished Program Committee Member for IJCAI 2018.

• Counting, Sampling, and Synthesis: The Quest for Scalability [slides] [video](@NUS)
• Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning [slides] [video](@Wisconsin)
• Approximate Counting and Sampling [slides] [video] (@Simons Institute)
• The Rise of Approximate Model Counting: Beyond Classical Theory and Practice of SAT [slides] [video](@Simons Institute)

• 09 December 2023

  Four papers accepted to AAAI-24.

  The first paper, co-authored with S. Akshay and Supratik Chakraborty, focuses on auditable model counting.

  The second paper , co-authored with my PhD student, Suwei Yang, proposes an exact model counter of PB constraints.

  The third paper, co-authored with Mahi Kabir (my PhD student), and Supratik Chakraborty (my PhD advisor!) focuses on ASP model counting.

  The fourth paper, co-authored with Arijit Shaw (my PhD student) and Brendan Juba focuses on Skolem function counting.

• 29 November 2023

  Our paper on exploring limits of approximability for query evaluation in probabilistic graphs is accepted to ICDT24. Joint work with Antoine Amarilli and Tim van Bremen.

• 13 November 2023

  I will be talking about our work on constrained optimization over semirings at Simons Institute’s Logic and Algebra for Query Evaluation.

• 23 October 2023

  I will be giving a keynote talk at FMCAD-23 on distribution testing and formal methods

All news…