Kuldeep S. Meel
Summary
👤
SeniorKuldeep Meel is a researcher and educator specializing in the intersection of Artificial Intelligence and Formal Methods. He holds the Stephen Fleming Early Career Associate Professor title at Georgia Tech and serves as an Associate Professor at the University of Toronto, reflecting a rare cross-continental academic footprint. His career spans roughly a decade, with prior roles at the National University of Singapore and industry internships at IBM and Microsoft, anchoring his work in both theory and practical AI systems. He completed graduate studies at Rice University, pursuing AI under the supervision of Supratik Chakraborty and Moshe Y. Vardi, which informs his focus on verification, reasoning, and auditable AI. Learn more at kuldeepmeel.com; his research aims to build reliable AI systems through formal methods that scale to real-world decision-making.
10 years of coding experience
Github Skills (58)
approximate10
xor10
rubiks-cube10
satisfiability10
verification10
universal-hashing10
dpll10
counter10
sat10
ranking10
science10
computer-science10
counting10
react10
cnf9
Programming languages (6)
Github contributions (5)
shubham-goel/UniGen
Feb 2016 - Sep 2017
Contributions:12 commits in 1 year 7 months
vardifest/vardifest.github.io
Feb 2022 - Jul 2022
Contributions:35 pushes in 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.