Kuldeep Meel
Stephen Fleming Early Career Associate Professor
United States
Summary
👤
Senior🎓
Top SchoolKuldeep Meel is an associate professor and researcher with eight years of experience at the intersection of artificial intelligence and formal methods, now holding the Stephen Fleming Early Career Associate Professorship at Georgia Tech while on leave from the University of Toronto. His research blends knowledge representation, automated reasoning, and probabilistic methods—work rooted in a PhD/MS from Rice and early experience at IIT Bombay, Microsoft Research India, and IBM. He has held distinguished academic posts at NUS (including a Presidential Young Professorship) and builds bridges between theory and practice through industry internships and software engineering roles. Notably, his career trajectory reflects a rare combination of deep formal-methods expertise and hands-on systems experience dating back to mobile engineering and startup software roles.
8 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Candidate, Artificial Intelligence, Doctor of Philosophy (Ph.D.) Candidate, Artificial Intelligence at Rice UniversityIndian Institute of Technology Bombay
Github Skills (7)
weka9
classification7
nlp6
python5
machine-learning5
pytorch5
deep-learning4
Programming languages (1)
Github contributions (2)
anonymous-repo-papers/mlic
Mar 2018 - May 2018
Contributions:15 pushes, 1 branch in 1 month
meelgroup/MLIC
Mar 2018 - May 2018
A new framework to generate interpretable classification rules
Contributions:19 commits in 1 month
pytorchnlppythonpartition-based-learningdeep-learning
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.