Kuldeep Meel

Kuldeep Meel is an Assistant Professor of Computer Science in School of Computing at the National University of Singapore where he holds the Sung Kah Kay Assistant Professorship. He received his Ph.D. (2017) and M.S. (2014) degree in Computer Science (Artificial Intelligence and Formal Methods) from Rice University. He holds B. Tech. (with Honors) degree (2012) in Computer Science and Engineering from Indian Institute of Technology, Bombay. His research interests lie at the intersection of Artificial Intelligence and Formal Methods. Meel has co-presented tutorials at top-tier AI conferences, IJCAI 2018, AAAI 2017, and UAI 2016. His work received the 2018 Ralph Budd Award for Best PhD Thesis in Engineering, 2014 Outstanding Masters Thesis Award from Vienna Center of Logic and Algorithms and Best Student Paper Award at CP 2015. He received the IBM Ph.D. Fellowship and the 2016-17 Lodieska Stockbridge Vaughn Fellowship for his work on constrained sampling and counting.

Education

• Doctor of Philosophy (Ph.D.) Candidate Rice University (2014 — 2017)
• M.S. Rice University (2013 — 2014)
• Bachelor of Technology (with Honors) Indian Institute of Technology, Bombay (2008 — 2012)
• Visiting Student Rice University (2010 — 2011)

Companies

• NUS Presidential Young Professor National University of Singapore (2021)
• Assistant Professor National University of Singapore (2017 — 2021)
• Graduate Student Researcher Rice University (2013 — 2017)
• Cognitive Intern IBM (2016 — 2016)
• Visitor Israel Institute for Advanced Studies (2015 — 2015)
• Research Intern Microsoft India (2015 — 2015)
• Research Assistant IIT Bombay (2012 — 2012)
• Mobile Engineer Pocket Gems (2011 — 2012)
• Visiting Student and Undergraduate Researcher Rice University (2010 — 2011)

Skills

• Research
• Data Structures
• Distributed Systems

Other

Compilers, Python, Objective-C, Programming, Matlab, C, Computer Science, C++, Algorithms