Rahul Kumar is a senior applied scientist manager with 12 years of experience building verification-at-scale and AI-assisted DevOps platforms across top-tier research and product organizations. Currently leading the Automated Reasoning group at Amazon after senior research and engineering leadership roles at Microsoft, he blends empirical software engineering with production-focused applied AI. His background spans mission-critical verification work at JPL to managing cross-functional teams that ship large-scale big data and automation systems. Rahul holds a PhD in Computer Science from Brigham Young University and often bridges academic rigor with practical deployment. He has a knack for making machines "talk" to humans—turning conversational AI research into reliable tooling for engineers. Based in Lisbon, he combines deep technical direction with hands-on mentorship to drive measurable reliability and productivity gains.
12 years of coding experience
12 years of employment as a software developer
Kendriya Vidyalaya Sangathan
PhD, Computer Science, PhD, Computer Science at Brigham Young University
Contributions:1 PR, 32 pushes, 1 branch in 7 years 4 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.
Request Free Trial
Rahul Kumar - Senior Applied Scientist Manager at Microso