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.
13 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 (32)
robot10
polyhedra10
checker10
upstream9
tlaplus9
tla9
robotics9
simulation9
prism9
navigationstack9
mongodb9
ros9
3d8
hardware8
temporal7
Programming languages (7)
Github contributions (5)
bfalacerda/strands_navigation
Feb 2015 - Mar 2016
Contributions:2 PRs, 24 pushes, 11 branches in 1 year 1 month
capabilitiesnavigation
strands-project/planning_tutorial
Jun 2016 - Aug 2018
Contributions:30 commits, 20 pushes, 5 branches in 2 years 2 months
summer-schoollong-termschedulingautonomytask-scheduling
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.