Alexander Kassil
Senior Software Engineer, IC5 at Meta
San Rafael, California, United States
Summary
🤩
Rockstar🎓
Top SchoolAlexander Kassil is a Senior Software Engineer (IC5) at Meta with a decade of experience building and hardening program analysis tooling, primarily as a core contributor to the open-source Python static analyzer Pyre. A Berkeley MS and BS in Computer Science graduate, he combines deep interests in mathematics and teaching with practical expertise in backend development, test automation, and performance tracking. At Meta he has moved up through IC3–IC5 roles focused on Python static analysis, where his work added robust integration tests and call-graph performance instrumentation for a widely used repo. He also brings classroom-scale teaching experience—co-instructing CS 61A and leading large TA teams—which informs his emphasis on developer ergonomics and clear, maintainable tooling. Based in San Rafael, he’s motivated by long-term impact and marries research-grade rigor with pragmatic engineering to improve code quality at scale.
10 years of coding experience
6 years of employment as a software developer
Master of Science - MS Electrical Engineering and Computer Science with a Focus in Education, Master of Science - MS Electrical Engineering and Computer Science with a Focus in Education at University of California, BerkeleyComputer Science, Computer Science at 42Dual Enrollment Computer Science, Dual Enrollment Computer Science at College of MarinHigh School Diploma High School/Secondary Diplomas and Certificates, High School Diploma High School/Secondary Diplomas and Certificates at Marin Catholic High School
English, Russian, Spanish, Chinese
Github Skills (8)
test-framework10
code-analysis10
type-checking10
static-analysis10
type-check10
python10
test-automation10
testing10
Programming languages (12)
Github contributions (5)
facebook/pyre-check
Dec 2021 - Jan 2023
Performant type-checking for python.
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:9 reviews, 88 commits, 10 PRs in 1 year 1 month
Contributions summary:Alexander primarily worked on adding integration tests and improving the existing test suite for the `pyre-check` project. They implemented tests to cover various aspects of Python type checking, focusing on features like closures, global variables, dictionary operations, and format string handling. The user's contributions involved creating new test cases and fixing bugs related to the tool's ability to handle different code patterns and language features. Additionally, the user added performance tracking to call graph and overrides.
pythontype-checkingtypecheckertype-checkstatic-analysis
alexkassil/alexkassil.github.io
Apr 2017 - Sep 2021
Contributions:1 PR, 53 pushes, 1 branch in 4 years 5 months
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.