Students & Postdocs

Learn more at Group Website
PhD Graduates Senior Research Fellow:
  • Dr. Mate Soos, Senior Research Fellow (Mar-June 2023; Jul -- Sep 2019; Mar -- June 2018)
Post-doc "Gradautes": Masters Graduates:
  • 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)


Full publication list, organized by


  • 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)


Selected Recorded Talks

  • 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)
A detailed list of talks (along with slides) is available [here].


  • 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…