Ryan Berryhill is a senior software engineer with eight years of experience combining industrial speech recognition systems and rigorous academic research in formal verification and electronic design automation. Currently at MongoDB after several roles at SoundHound, he focuses on building reliable, production-grade ASR and backend systems informed by a PhD from the University of Toronto. His background includes novel model-checking algorithm work at IBM that resulted in top-tier publication-quality contributions and practical tooling for debugging digital hardware. Comfortable moving between research and product, he has a track record of improving core algorithms, reducing runtime, and shipping maintainable systems across startups and enterprise teams. Based in Toronto, he pairs deep algorithmic insight with hands-on engineering—often surfacing subtle verification and performance improvements that others miss.
8 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD Computer Engineering, Doctor of Philosophy - PhD Computer Engineering at University of Toronto
Bachelor of Applied Science - BASc Computer Engineering, Bachelor of Applied Science - BASc Computer Engineering at University of Waterloo
Contributions:10 pushes, 1 branch in 1 year 11 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.