Yakov Pechersky
Senior Director Of Computational Design
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolYakov Pechersky is a Senior Director of Computational Design at Treeline Biosciences with nine years of experience applying computation to drug discovery through descriptive and predictive modeling and rigorous data infrastructure. He leads a subteam that bridges scientists and software engineers, shipping full-stack products and simulation pipelines with cross-functional teams while supporting hands-on project work. His background includes large-scale molecular dynamics at D. E. Shaw Research using the Anton supercomputer and organism design and automation at Ginkgo, giving him rare fluency across experimental wet lab, informatics, and high-performance computing. Yakov is an active contributor to formal mathematics and testing tooling in open-source projects (notably Lean math libraries and functional programming course tests), reflecting deep rigor in algorithms and verification. He built algorithms to find biosynthetic gene clusters during his Harvard thesis and has a track record of turning complex biological problems into reproducible computational workflows. Based in New York, he combines domain expertise in chemistry and biology with mathematical and engineering precision to make large-scale computation accessible to scientists.
9 years of coding experience
11 years of employment as a software developer
Mathematics, Mathematics at New York UniversityAB, Chemical and Physical Biology, AB, Chemical and Physical Biology at Harvard UniversityStuyvesant High SchoolMolecular Medicine, Molecular Medicine at Oxford University
Russian, English, Hebrew, Yiddish
Stackoverflow
56reputation
5kreached
4answers
0questions
Github Skills (25)
algebra10
testing10
proofs10
proof10
logical10
symbolic-logic10
doctest10
slim10
theorem-proving10
functional-programming10
t410
type-theory10
leanback10
linear-algebra10
haskell10
Programming languages (9)
Github contributions (5)
leanprover-community/mathlib4
Oct 2022 - Dec 2022
The math library of Lean 4
Role in this project:
Back-end Developer
Back-end DeveloperContributions:158 reviews, 30 commits, 131 PRs in 1 month
Contributions summary:Yakov's contributions focused on porting and implementing mathematical structures and lemmas within the Lean 4 theorem prover. This involved defining and proving properties related to empty types, product types, sum types, control flow combinators, and order theory. The user primarily worked on mathematical foundations, demonstrating expertise in formalizing abstract mathematical concepts within a proof assistant.
maththeorem-provingcomputer-algebra-systemmathematicsin-progress
leanprover-community/mathlib3
Jun 2020 - Nov 2022
Lean 3's obsolete mathematical components library: please use mathlib4
Role in this project:Back-end Developer & Mathematician
Back-end Developer & MathematicianContributions:369 reviews, 574 commits, 294 PRs in 2 years 5 months
Contributions summary:Yakov contributed extensively to the mathlib3 library, a mathematical components library written in Lean 3. The contributions focused on implementing mathematical concepts such as matrices, linear algebra, and algebraic structures, including providing instances for rings and fields. The user introduced new lemmas and theorems regarding fundamental mathematical concepts.
maththeorem-provingcomponents-librarymathematicsjavascript
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.