Ethan Pronovost
Senior Software Engineer at Zoox
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolEthan Pronovost is a Senior Software Engineer in San Francisco with a decade of experience building prediction and ML infrastructure, currently focusing on behavior and prediction models at Zoox. He combines production-grade engineering with research rigor from Caltech, where he developed causal inference algorithms applied to fMRI data and led a large theoretical algorithms course. A strong open-source contributor, Ethan has improved core language tooling and scientific computing—contributions to the Scala compiler and Numba demonstrate deep expertise in collections, compiler internals, and NumPy-aware JIT compilation. His background spans low-level systems, test automation, and applied ML, reflecting an unusual blend of formal math, compiler-level programming, and practical ML infrastructure engineering.
10 years of coding experience
8 years of employment as a software developer
Bachelor’s Degree Computer Science Mathematics, Bachelor’s Degree Computer Science Mathematics at California Instititue of Technology
English, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (29)
type-inference10
formal-methods10
set-operations10
python10
operation10
testing10
array-merge10
numpy10
scala10
compiler-compiler10
compile10
scala-compiler10
array-iterator10
array-comparison10
compiler10
Programming languages (8)
Github contributions (5)
numba/numba
Sep 2019 - Oct 2020
NumPy aware dynamic Python compiler using LLVM
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:35 reviews, 84 commits, 22 PRs in 1 year 1 month
Contributions summary:Ethan contributed significantly to the Numba project, focusing on implementing and testing new functionalities related to NumPy array operations. They added implementations for several NumPy functions, including `tril_indices`, `triu_indices`, and `argwhere`, ensuring compatibility and correct behavior within the Numba environment. They also enhanced test coverage, adding new test cases and improving existing ones to validate the functionality of the implemented NumPy functions and ensure robust performance. Additionally, the user worked on refining type checking within the codebase and implementing various built-in methods for different Python types and for jitclass support.
cudapythonparallelnumpynumba
leanprover-community/mathlib3
Oct 2021 - Nov 2021
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:Back-end Developer
Back-end DeveloperContributions:1 review, 8 commits, 4 PRs in 1 month
Contributions summary:Ethan primarily contributed to the `mathlib3` repository by adding lemmas and correcting documentation within the Lean 3 mathematical components library. Their work included adding lemmas for lists and their properties and documenting the `prod` function. They also made changes to the ring structures. This suggests a focus on expanding the library's functionality and improving its clarity.
maththeorem-provingcomponents-librarymathematicsjavascript
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.