Kuldeep Meel is NUS Presidential Young 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, Microsoft Research Asia, 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.
Our paper “Engineering an Efficient Boolean Functional Synthesis Engine” is accepted to ICCAD 2021. Joint work with Priyanka Golia, Friedrich Slivovsky, and Subhajit Roy.
Our paper “Designing Samplers is Easy: The Boon of Testers” is accepted to FMCAD-21.
Joint work with Priyanka Golia, Mate Soos, and Sourav Chakraborty.
Our work on MaxSAT augmented with Guass Jordan Elimination is accepted to KR2021. Joint work with Mate Soos.
Our work on GPU-based Parallel SAT solving is accepted to SAT-21.
Joint work with Nicolas Prevot and Mate Soos.