Sasha Fedchin
Software Engineer In Test at think-cell Software
Berlin, Germany
Summary
🤩
Rockstar🎓
Top SchoolSasha Fedchin is a Software Engineer in Test based in Berlin with nine years of experience at the intersection of automated reasoning, formal verification, and applied testing. Currently at think-cell and finishing a PhD at Tufts, Sasha has focused research on verifying concurrent MPI programs and has translated that deep formal-methods expertise into practical tooling and automated test generation. Their notable open-source contributions include refactoring and improving counterexample generation for the well-known Dafny verification-aware language, enhancing test generation and more actionable verifier output. Sasha has also applied these skills in industry through multiple internships at AWS, building counterexample extraction and automated testing prototypes that bridged research and production. Fluent in both research and engineering workflows, they bring a rare combination of theorem-backed rigor and pragmatic software-quality delivery.
9 years of coding experience
4 years of employment as a software developer
Bachelor's degree Computer Science and Classical Studies, Bachelor's degree Computer Science and Classical Studies at Bard CollegeDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Tufts University
Russian, Greek, Latin, German, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (8)
programming-language10
verification10
boogie10
dafny10
data-structure7
data-structures7
algorithm7
algorithms7
Programming languages (10)
Github contributions (5)
dafny-lang/dafny
Jul 2021 - Aug 2022
Dafny is a verification-aware programming language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:147 reviews, 11 commits, 47 PRs in 1 year
Contributions summary:Sasha primarily focused on refactoring and improving the counterexample generation within the Dafny verification-aware programming language project. Their contributions involved significant code restructuring, file structure modifications, and the addition of new features related to counterexample reporting. They also addressed several bugs, enhanced type support, and improved the overall quality and readability of the Dafny model. Key changes included modifications to the DafnyModel class and the implementation of new features for improved test generation and more detailed output.
compilerdafnyprogramming-languageverification
seanderson/lexical-simplification
Jun 2018 - May 2020
Contributions:76 commits, 62 pushes in 1 year 11 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.