Alex Frieder
Full-Stack Software Engineer at AidKit
New York, New York, United States
Summary
👤
Senior🎓
Top SchoolAlex Frieder is a Full-Stack Software Engineer based in New York with 11 years of experience building reliable, production-grade web applications and services. He spent a decade growing through multiple engineering roles at Heap—rising from intern to senior engineer—and most recently served as a Senior Software Engineer through the company’s acquisition before joining AidKit. Alex contributes to the Python typing ecosystem, with notable back-end work on mypy that added conditional checks and type hint support in for/with statements, showing deep familiarity with type system internals. Comfortable across front-end and back-end stacks, he focuses on pragmatic, maintainable code and improving developer ergonomics. His dual background in Computer Science and Cognitive Science from Carnegie Mellon gives him a measured, user-aware approach to system design.
11 years of coding experience
10 years of employment as a software developer
Bachelor's degree Computer Science Cognitive Science, Bachelor's degree Computer Science Cognitive Science at Carnegie Mellon University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
mypy10
dynamic-typing10
optional-typing10
static-typing10
type-checking10
type-check10
strong-typing10
python10
implicit-typing10
typechecker10
linter8
Programming languages (7)
Github contributions (5)
python/mypy
Jan 2017 - Feb 2017
Optional static typing for Python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:14 commits, 14 PRs, 38 comments in 1 month
Contributions summary:Alex made several contributions focused on improving the static typing capabilities of mypy, a static type checker for Python. They implemented features related to conditional type checking, fixed issues related to union type comparisons, and addressed problems with assert messages. The user also added support for type hints in `for` and `with` statements. Their work demonstrates a strong understanding of type system internals and Python's typing features.
linterpythontypecheckerstatic-typing
afrieder/mypy
Jan 2017 - Feb 2017
Contributions:112 pushes, 31 branches in 1 month
pep484pythonpython-2static-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.