David Renshaw

David Renshaw is a mathematician turned programmer. As an undergrad at Caltech, he published research in combinatorics, and as a grad student at Carnegie Mellon he developed techniques for building machine-verified proofs of safety properties for aircraft controllers and surgical robots. Some of his side projects have included a framework for crowdsourcing playthroughs of javascript games, and contributions to a Standard ML port of the Box2D physics engine. Prior to joining Sandstorm, he spent two years hunting for vulnerabilities in robotics software at the National Robotics Engineering Center. David is leading development on the Rust and Java implementations of Cap'n Proto.