Bruno Lacerda
CTO And Co-founder at Stateful Robotics
Greater Oxford Area United Kingdom
Summary
👤
Senior🎓
Top SchoolBruno Lacerda is a robotics researcher-turned-founder with 13 years of experience developing techniques for generating formally verified robot plans that provide real-world performance guarantees. As CTO and co-founder of Stateful Robotics and a former senior researcher at the University of Oxford, he combines deep academic rigour from a PhD in Electrical and Electronics Engineering with hands-on leadership in commercial robotics. His work focuses on certifiable planning methods that make autonomous systems predictable and safe in deployment, bridging theory and practice. Based in the Greater Oxford Area, he brings a rare mix of applied math, formal methods, and product-minded engineering to scale trustworthy robotic systems.
12 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD, Electrical and Electronics Engineering, Doctor of Philosophy - PhD, Electrical and Electronics Engineering at Instituto Superior Técnico
Github Skills (31)
robot10
morse10
tla9
robotics9
simulation9
checker9
polyhedra9
hardware8
prism8
tlaplus8
upstream8
mongodb6
ros6
husky5
ignition5
Programming languages (6)
Github contributions (5)
bfalacerda/strands_navigation
Feb 2015 - Mar 2016
Contributions:2 PRs, 24 pushes, 11 branches in 1 year 1 month
capabilitiesnavigation
ori-goals/prism
Mar 2020 - Feb 2025
Contributions:1 review, 1 PR, 10 pushes in 4 years 11 months
model-checkerprismchecker
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.