Naomi Seyfer
Engineer at Dropbox
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolNaomi Seyfer is a seasoned software engineer in Berkeley with 13 years of experience building reliable systems and developer tooling, currently at Dropbox. Her work spans programming language design, type systems, and distributed systems—she’s contributed to core Python typing projects like mypy and typeshed to improve static type safety and compatibility. Naomi combines a software-first approach with an electrical engineering background, bringing signal-analysis intuition to problems in systems and performance. She has implemented core CLI and DevOps functionality for cloud-native tooling (Knative) and has a track record of refactoring for testability and robustness. Colleagues rely on her for pragmatic designs that advance tooling correctness as well as runtime stability.
13 years of coding experience
7 years of employment as a software developer
SB, Electrical Engineering and Computer Science, SB, Electrical Engineering and Computer Science at Massachusetts Institute of Technology
Stackoverflow
494reputation
9kreached
10answers
0questions
meteor
top-5%
websocket
top-5%
Github Skills (39)
kubernetes10
static-typing10
typesc10
static-analysis10
type-check10
python10
stub10
stubs10
mypy10
dynamic-typing10
typescript10
implicit-typing10
type-system10
optional-typing10
go10
Programming languages (10)
Github contributions (5)
knative/client
Jan 2019 - Dec 2019
Knative developer experience, docs, reference Knative CLI implementation
Role in this project:
Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions:33 commits, 58 PRs, 14 pushes in 11 months
Contributions summary:Naomi focused on implementing the core functionalities of the `kn` CLI tool for the Knative project, particularly commands for listing services and revisions. The commits demonstrate the creation of the basic command structure, including the integration of Kubernetes' generic CLI options for output formatting. They also involved refactoring the codebase for testability and improving the configuration and initialization of the application. Further, they improved the overall stability by addressing various edge cases and introduced the logging of HTTP traffic.
cliknativeserverlesskubernetes
python/mypy
Nov 2016 - May 2017
Optional static typing for Python
Role in this project:Back-end Developer
Back-end DeveloperContributions:15 commits, 19 PRs, 167 comments in 5 months
Contributions summary:Naomi focused on enhancing the type-checking capabilities of the Python mypy project. Their work included implementing and refining support for keyword-only arguments, improving error handling related to argument mismatches, and refactoring function compatibility checks. They modified core files like `mypy/checkexpr.py`, `mypy/types.py`, and `mypy/semanal.py` to incorporate these changes. The user's contributions directly addressed issues related to type safety and function signature validation within the mypy framework.
pythonstatic-typingtypecheckerlinter
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.