• PhD Students: Md Mohimenul Kabir; Yash Pote; Uddalok Sarkar (co-advised with Sourav Chakraborty); Arijit Shaw ; Yang Suwei; Jiong Yang
• Post-docs: Dr. Paulius Dilkas;

1. Teodora Baluta (2024), co-advised with Prateek Saxena;
   PhD Thesis: Rigorous Security Analysis of Machine Learning Systems
   Current Job: Assistant Professor, Georgia Institute of Technology
2. 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
3. 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 2024; Mar-June 2023; Jul-Sep 2019; Mar-June 2018)

1. Dr. Anna Latour (Feb 2022-Apr 2024)
   Now: Assistant Professor at Delft University of Technology
2. Dr. Timothy van Bremen (June 2022-June 2024)
   Now: Assistant Professor at Nanyang Technological University (NTU), Singapore
3. Dr. Gunjan Kumar (March 2021-July 2024)
   Now: Assistant Professor at IIT Kanpur
4. Dr. Lawqueen Kanesh (Jan 2021-Dec 2021)
   Now: Assistant Professor, IIT Jodhpur
5. Dr. Jaroslav Bendik (Jan 2021-Apr 2021)
   Now: Team Lead at Certora
6. Dr. Vignesh Sivaraman (Sep 2020-Apr 2021)
   Now: Assistant Professor at IIIT Hyderabad.
7. Dr. Yong Lai (Aug 2019-Aug 2020)
   Now: Associate Professor at Jilin University

1. Alexis de Colnet, MComp@NUS (Graduated: Dec 2018); now post-doc at TU Wien
2. Rahul Gupta, BTech+MTech@IITK ( co-advised with Subhajit Roy (IITK)
3. Shubham Sharma, BTech+MTech@IITK (Graduated: May 2019), co-advised with Subhajit Roy (IITK)
4. Delannoy Remi Christian, MComp@NUS, (Graduated: Dec 2019)
5. 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 (Spring 2024; Fall 2021; Fall 2020)
• 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)

• 03 July 2024

  Four of my advisees were in job market this past academic year and all of them managed to secure tenure-track positions in four countries across three continents. Congratulations!

  1. Teodora Baluta (PhD, co-advised with Prateek Saxena) will be joining Georgia Tech as an Assistant Professor.
     
  2. Gunjan Kumar (post-doc, co-advised with Diptarka Chakraborty) will be joining IIT Kanpur as an Assistant Professor.
     
  3. Anna Latour (post-doc) will be joining TU Delft as an Assistant Professor.
     
  4. Tim van Bremen (post-doc) will be joining Nanyang Technical University (NTU) Singapore as an Assistant Professor.
• 01 May 2024

  Our paper characterizing the complexity of total variation distance estimation and probabilistic inference is accepted to ICML 2024. Our paper shows that estimating TV distance admits FPRAS if the underlying inference queries can be performed in polynomial time.

• 08 March 2024

  Our paper on engineereing an efficient preprocessor for model counting is accepted to DAC 2024. Joint work with Mate Soos.

• 04 March 2024

  We have two papers accepted to PODS-24.
  

  1. The first paper, co-authored with Sourav Chakraborty]sourav and Umang Mathur presents a faster FPRAS for counting the number of words accepted by NFA.

  2. The second paper, co-authored with Pavan Aduri,Sourav Chakraborty, and N.V. Vinodchandran introduces the model of right to be forgotten in the context of streaming.

All news…