Kuldeep

Primary tabs

Kuldeep's picture
Kuldeep S. MEEL
Sung Kah Kay Assistant Professor

National University of Singapore (NUS)
School of Computing

 

Research Topics:

  1. Constrained counting and Sampling

  2. Verification and Validation of AI systems
  3. Interpretable and Actionable Explanations

  4. Decision Procedures for Propositional Logic Satisfiability and Optimization

Login