Michael Bentley
Senior Software Engineer at Motional
Salt Lake City, Utah, United States
Summary
👤
Senior🎓
Top SchoolMichael Bentley is a Senior Software Engineer and robotics PhD with 10 years of C++ and 8 years of Python experience, currently applying his expertise at Motional in Salt Lake City. He combines rigorous mathematical training and systems-level software engineering—evident from a 17,700x motion-planning speedup for tendon-driven continuum robots and a 17x reduction in tissue forces for steerable-needle planning. His work bridges research and production: he built the ARMLab’s software stack from scratch, shipped reproducible CI systems at GE Healthcare, and released FLiT, a widely used tool for floating-point reproducibility. Comfortable mentoring and leading small teams, he moves quickly between domains (formal verification to medical robotics) while keeping a strong emphasis on performance, reproducibility, and practical instrumentation.
10 years of coding experience
14 years of employment as a software developer
The University of Utah
English, Portuguese, Spanish
Github Skills (137)
python10
windows10
multiple-versions10
mouse10
client-server10
micropython10
floating10
embedded10
eclipse10
scientific-computing10
middleware10
computation10
linux10
ipc10
publish-subscribe10
Programming languages (9)
Github contributions (5)
PRUNERS/FLiT
Jun 2016 - Nov 2021
A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
Contributions:6 releases, 7 reviews, 1090 commits in 5 years 5 months
computationcompilersfloatingpointdetect
mikebentley15/sandbox
Jan 2018 - Oct 2022
Playground for learning languages, libraries, and frameworks
Contributions:609 commits, 1 PR, 365 pushes in 4 years 10 months
javascriptfundamentalslanguageslearning-languagesframeworks
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.