Kwesi Rutledge
Robotics Controls Engineer at The Velo Network
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolKwesi Rutledge is a Robotics Controls Engineer and founder with a decade of experience building provably safe control systems and consumer-facing software. Currently at Aescape and leading The Velo Network, he blends formal methods research—developing tools that translate natural-language requirements into correct-by-construction software—with hands-on product development for micro-mobility. His academic work under Necmiye Özay and postdoctoral research at MIT focus on bridging high-level planning and low-level control with end-to-end safety guarantees, a rare combination that accelerates the Engineering V. Comfortable across embedded hardware, full-stack development, and verification, he has shipped production features and research prototypes that cut development time via automation. Based in New York, he leverages both startup instincts and rigorous engineering to turn complex safety requirements into usable systems.
10 years of coding experience
Master of Engineering - MEng Electrical and Computer Engineering, Master of Engineering - MEng Electrical and Computer Engineering at UC San Diego Jacobs School of EngineeringFranklin High SchoolDoctor of Philosophy - PhD Electrical Engineering: Systems, Doctor of Philosophy - PhD Electrical Engineering: Systems at University of Michigan College of Engineering
English, French
Github Skills (77)
python10
gpu10
computer-graphics10
cpp10
mesh-processing10
robotics10
rendering10
golang10
opengl10
database10
volume-rendering10
verification10
odometry10
automatic-differentiation10
go10
Programming languages (9)
Github contributions (5)
kwesiRutledge/neural_clbf
Dec 2022 - Jun 2023
Toolkit for learning controllers based on robust control Lyapunov barrier functions
Contributions:231 pushes, 7 branches in 6 months
barrierrobust-controlcontrollerslyapunov
kwesiRutledge/OzayGroupExploration
Jun 2021 - Sep 2022
Some of the code that I use to explore ideas (Model Checking, Game Theory, etc.) while a member of the Özay Group at the University of Michigan.
Contributions:1 review, 168 commits, 4 PRs in 1 year 3 months
model-checkingpythonexplorememberchecking
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.