Murat Demirbas
Principal Research Scientist at MongoDB
Buffalo, New York, United States
Summary
👤
Senior🎓
Top SchoolMurat Demirbas is a Principal Research Scientist with over a decade of experience spanning academia and industry, currently driving research at MongoDB after senior roles at AWS and 15 years as a Full Professor at the University at Buffalo. He specializes in distributed systems, databases, cloud computing, formal methods, and neurosymbolic AI, blending rigorous theory with practical system-building. Murat maintains a widely read distributed systems blog (5.4M+ views), signaling a rare talent for clear technical communication and community impact beyond publications. His background includes postgraduate work at MIT and a PhD in Computer Science, and his work frequently intersects consensus, blockchains, and fault-tolerant distributed protocols. Known for translating formal methods into production-aware designs, he combines deep research insight with hands-on engineering at scale.
12 years of coding experience
3 years of employment as a software developer
Postgraduate Degree Distributed Systems, Postgraduate Degree Distributed Systems at Massachusetts Institute of TechnologyDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at The Ohio State University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (12)
tlaplus10
pluscal9
specification9
tla9
verification9
model-checking8
foundation3
category-theory1
lambda-calculus1
combinatorics1
agda1
dependent-types1
Programming languages (2)
Github contributions (5)
muratdem/PlusCal-examples
Dec 2016 - Jul 2021
Contributions:24 commits, 25 pushes, 1 branch in 4 years 7 months
muratdem/muratdem.github.io
Dec 2016 - Dec 2016
Contributions:10 PRs, 12 pushes, 10 branches in 1 day
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.