Kuldeep Meel is Sung Kah Kay Assistant Professor in the
Computer Science Department of School of Computing at
National University of Singapore. He is an affiliate at Institute of Data Science. He is a receipient of
2019 NRF Fellowship for AI, and was named AI's 10 to Watch by IEEE Intelligent Systems in 2020.
His research interests are at the intersection of formal methods and artificial intelligence. His research program's long-term vision is to advance automated reasoning techniques to enable computing to deal with increasingly uncertain real-world environments. Check out Research Summary for more details.
Our research group is still growing. Check out Open Positions.
External Funding: National Research Foundation, AI Singapore, Grab NUS AI Lab, Ministry of Education, Defense Service Organization
Please visit Software and Github Repository for the accompanied softwares. Our group strongly believes in developing algorithms whose faithful implementations (i.e., no hiding of constant factors, magic parameters) can solve real-world problems.
Looking forward to speaking on Formal Methods+Machine Learning at Waterloo’s ML+Logic Seminar.
Our work on computation of union of sets in streaming model is accepted to PODS-21. Joint work with Sourav Chakraborty and Vinod Varyam.
I will present our work on synthesis at CITRIS People and Robotics seminar.
I will be giving an in-depth talk on the rise of approximate model counting at Simons Workshop on Beyond Satisfiability. Recorded video