Kuldeep Meel holds the Stephen Fleming Early-Career Associate Professorship at Georgia Institute of Technology and is an Associate Professor (currently on leave) at the University of Toronto. His research focuses on the intersection of Formal Methods and Artificial Intelligence.
Prior to move to University of Toronto, he held the NUS Presidential Young Professorship at the National University of Singapore and completed his Ph.D. at Rice University in 2017.
Sessions in which Kuldeep S. Meel participates
Wednesday 10 June, 2026
How do you count the solutions to a problem when there are more of them than atoms in the universe? Model counting lives at the breathtaking confluence of logic, combinatorics, and computational hardness, and the answers are anything but obvious.This talk explores two philosophically distinct responses to this challenge: compilation-based approaches, which tame complexity by building compact representations of solution spaces, ...