Adam Bratschi-kaye
Software Engineer at DFINITY
New York, New York, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolAdam Bratschi-kaye is a software engineer with a decade of experience building robust back-end systems, currently contributing at DFINITY in New York. He has a strong foundation in mathematics (BS from University of Chicago, PhD work at University of Michigan) and a track record at quantitative and high-performance shops including Jane Street and Arrowstreet Capital. Adam is an active open-source contributor to notable Rust projects—improving core logic in rust-lang/chalk and enhancing rust-analyzer—plus work on Beeware’s voc transpiler adding lambda support, reflecting expertise in language tooling and compilers. He combines rigorous academic thinking with practical engineering, often focusing on correctness, refactors, and test coverage to harden complex systems. An understated strength is his ability to translate deep theoretical concepts into reliable production code across multiple language ecosystems.
10 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy (PhD), Mathematics, Doctor of Philosophy (PhD), Mathematics at University of MichiganBachelor of Science (BS), Mathematics, GPA: 3.83/4.00, Bachelor of Science (BS), Mathematics, GPA: 3.83/4.00 at University of Chicago
Github Skills (26)
unit-testing10
transcode10
python10
expressions10
abstract-syntax-tree10
type-traits10
type-system10
lambdas10
expression10
sys10
traitsui10
transpiler10
lambda10
error-handling10
rust-analyzer10
Programming languages (8)
Github contributions (5)
rust-lang/rust-analyzer
Feb 2020 - Nov 2021
A Rust compiler front-end for IDEs
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 reviews, 10 PRs, 56 comments in 1 year 9 months
Contributions summary:Adam primarily contributed to the Rust analyzer project by enhancing the project's code quality and functionality. Their work involved adding error context using the `anyhow` crate and improving the completion feature for enums. Furthermore, the user refactored code by replacing `VariantData::is_unit` with `VariantData::kind` and optimizing code with other changes. These modifications demonstrate a focus on improving the codebase's robustness and user experience.
rustlsp-servercompileridefront-end
rust-lang/chalk
May 2020 - May 2020
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 commits, 1 PR, 13 comments in 7 days
Contributions summary:Adam primarily worked on improving the core logic of the Rust-based trait system within the `chalk` repository. Their contributions included refactoring code related to floundering goals and ambiguous answers, enhancing the system's ability to handle complex scenarios. Furthermore, the user introduced tests to validate the behavior of projection guidance within the system. These changes improved the system's robustness and the accuracy of its logical reasoning capabilities.
traitrustsolverlogicdefinition
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.