Steven Troxler
Software Engineer at Meta
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolSteven Troxler is a software engineer with 11 years of experience building full-stack systems, from front-end apps to static analyzers and distributed data platforms, currently working at Meta on the Pyre typechecker and related static analysis tooling. He combines a strong statistical background (MS Statistics, BA Mathematics & Economics) with practical ML, data infrastructure, and devops experience, having architected experiment platforms and deterministic sampling systems that delivered significant efficiency gains. Steven is an active open-source contributor, with notable work on high-profile projects such as HHVM, Pyre, Duckling, and LibCST, often improving cross-language FFI, type inference, and parsing capabilities. His work spans OCaml, Python, Rust, Haskell and more, reflecting a comfort with both systems programming and high-level language tooling. Beyond shipping features, he shapes project direction—submitting PEPs and driving consensus in the Python ecosystem—and has a track record of reducing resource usage through thoughtful refactors and async optimizations. Colocated in San Francisco, he brings a research-minded approach to practical engineering problems, especially at the intersection of programming language tooling and causal/statistical methods.
11 years of coding experience
8 years of employment as a software developer
Bachelor of Arts (BA), Mathematics and Economics, 4.0, Bachelor of Arts (BA), Mathematics and Economics, 4.0 at Arizona State UniversityMaster's degree, Statistics, 4.0, Master's degree, Statistics, 4.0 at UC Berkeley
English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (32)
asynchronous10
type-check10
restructuredtext10
pytest10
python10
futures10
async10
testing10
hacking10
rs10
hhvm10
refactor10
ocaml10
type-annotations10
parsing10
Programming languages (14)
Github contributions (5)
facebook/pyre-check
Mar 2021 - Jan 2023
Performant type-checking for python.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:14 reviews, 1120 commits, 83 PRs in 1 year 10 months
Contributions summary:Steven appears to be contributing to the development of a Python type checker for a given codebase. Their commits involve adding and modifying core type-checking functionality, specifically concerning class attribute and method handling, as demonstrated by commits related to decorators, type variable behavior, and error reporting within the type-checking framework. The contributions involve directly manipulating the underlying code, as evidenced by commits focusing on code refactoring, performance optimization, and fixing of bugs.
typecheckercontrol-flow-analysispythoncode-qualityabstract-interpretation
Instagram/LibCST
Jul 2021 - Apr 2022
A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree
Role in this project:Back-end Developer
Back-end DeveloperContributions:61 reviews, 39 commits, 78 PRs in 8 months
Contributions summary:Steven primarily contributed to the `libcst` library, which is a Python concrete syntax tree parser and serializer. Their work focused on enhancing the library's functionality, particularly around type annotation handling. They fixed bugs related to the `TypeAnnotationsVisitor`, added tests to verify current behaviors, and refactored the code to improve annotation processing, including support for relative imports and incorporating `use_future_annotations`.
pythonconcreteparsersaspectssyntax-tree
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.