Marcell Vazquez-chanlatte
Manager at Zoox
Los Altos, California, United States
Summary
👤
Senior🎓
Top SchoolMarcell Vazquez-chanlatte is a research-driven engineering manager with 14 years of experience building and leading teams at the intersection of formal methods, human-robot interaction, and autonomous driving. He holds a PhD from UC Berkeley where he specialized in learning formal specifications from expert demonstrations, work published at NeurIPS, RSS, and CAV. After transitioning into industry research and management at Nissan and now Zoox, he has led ML efforts for scene prediction and safety-critical behavior understanding in automotive contexts. An active contributor to open-source (notably type-hinting improvements to mypy’s itertools and backend work on Mozilla’s DXR), he combines deep theoretical expertise with practical systems and tooling experience. Colleagues rely on him to translate formal guarantees into deployable models that improve safety and interpretability in real-world driving systems.
13 years of coding experience
11 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of California, BerkeleyBachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at University of Illinois Urbana-Champaign
Github Skills (20)
static-typing10
typesc10
python10
mypy10
dynamic-typing10
typescript10
implicit-typing10
data-structure10
typechecker10
type-system10
optional-typing10
code-analysis10
strong-typing10
data-structures10
itertools10
Programming languages (9)
Github contributions (5)
mozilla/dxr
Jun 2014 - Sep 2014
Powerful search for large codebases
Role in this project:
Backend Developer
Backend DeveloperContributions:131 commits in 3 months
Contributions summary:Marcell primarily contributed to the `dxr/plugins/clang` directory within the repository, which appears to be a plugin for a codebase search tool. Their work focused on processing the output of the clang compiler, creating data structures, and implementing filters for the search functionality. Key contributions include creating and implementing the ability to parse Clang CSV output, build inheritance relationships, and generate the necessary data for the search tool's features.
query-languagesearch-enginegrepackcode-search
python/mypy
Aug 2014 - Aug 2014
Optional static typing for Python
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 commits in 4 days
Contributions summary:Marcell primarily contributed to type hinting and stub files for the `mypy` project, specifically focusing on the `itertools` module. Their work involved refining type restrictions within existing stubs, correcting inaccuracies, and updating the return types of functions like `product` and `permutations` for improved type safety. These changes involved modifying existing stub files and updating type signatures to reflect the intended behavior of the `itertools` module, showcasing a strong understanding of Python's typing features.
linterpythontypecheckerstatic-typing
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.