John聽Backes
Principal Applied Scientist at Amazon Web Services (AWS)
Minneapolis, Minnesota, United States
Summary
馃懁
Senior馃帗
Top SchoolJohn Backes is a Principal Applied Scientist with 12 years of experience applying formal methods and automated reasoning to cloud networking at AWS, where he progressed from software engineer to lead and now principal roles. He holds a Ph.D. in Electrical Engineering from the University of Minnesota and began his career in verification and logic synthesis research, including internships at NASA Ames and Adventium Labs. John combines deep academic expertise in formal verification with practical systems delivery鈥攂uilding tools that make complex network correctness properties automatable at scale. Based in Minneapolis, he has a background in hands-on infrastructure and web tooling from early IT and dev roles, which informs his pragmatic approach to research-driven engineering. A subtle strength is his track record of translating incremental formal verification research into production-grade automation for large cloud networks.
12 years of coding experience
16 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Electrical Engineering, Doctor of Philosophy (Ph.D.) Electrical Engineering at University of Minnesota
Github Skills (40)
checker10
automata10
network-analysis9
tla9
lustre9
evolve9
model-state9
traceroute9
napalm9
correctness9
configurations9
cisco9
network-security9
network9
network-automation9
Programming languages (6)
Github contributions (5)
smaccm/update-site
Mar 2016 - Oct 2017
Contributions:47 pushes, 2 branches in 1 year 7 months
Find and Hire Top DevelopersWe鈥檝e 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.