Sergio is an Entrepreneur-in-Residence at Amplify Partners. He is currently a 5th year PhD student at Stanford where his research focuses on converging research in systems, formal veriﬁcation, programming languages, and security to create secure, usable, and performant systems.
Prior to Stanford, Sergio spent time working at Google, Apple, and SpaceX where he worked on a variety of projects ranging from designing anomaly detection algorithms and creating new languages for programming robots, to working on the performance of operating systems that run on rockets.
Sergio is the author of Rocket, a web framework for Rust that makes it simple to write secure, correct, and performant web applications. Rocket eliminates important classes of web security vulnerabilities at compile-time and provides type-level tools to express arbitrary functional correctness properties.
Sergio holds a Bachelor’s degree in computer science and electrical engineering and a Master’s degree in computer science from MIT.