Mike Furr
Senior Principal Software Engineer at Amazon
Washington, District of Columbia, United States
Summary
👤
Senior🎓
Top SchoolMike Furr is a Senior Principal Software Engineer with 16 years at Amazon, advancing from entry-level SDE to senior principal roles and driving large-scale engineering initiatives. He blends deep research roots—a PhD in Computer Science—with practical expertise in type systems, static analysis, and program verification, and is fluent in OCaml and Ruby. Based in Washington, D.C., he specializes in designing rigorous, verifiable software foundations that reduce runtime errors and improve developer productivity. Known for turning formal methods into production-ready tools, he navigates both applied systems work and theoretical challenges. His background in mathematics and long tenure at a single tech leader give him rare continuity across project lifecycles and architecture evolution. Colleagues rely on him for mentorship, technical stewardship, and pragmatic choices that balance correctness with delivery.
16 years of coding experience
14 years of employment as a software developer
Mathematics, Mathematics at Kenyon CollegeUMBCThe University of Maryland, College ParkGithub contributions (2)
mfurr/Diamondback-Ruby
Feb 2010 - Mar 2011
Contributions:5 commits in 1 year 1 month
stereobooster/diamondback-ruby
Feb 2010 - Mar 2011
Contributions:2 commits in 1 year
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.