Dmitry Petrashko

Member Of Technical Staff at Anthropic

San Francisco, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Dmitry Petrashko is a seasoned software engineer and technical leader with 13 years of experience building high-performance language tooling and infrastructure, currently at Anthropic after a long tenure at Stripe. He helped create and scale developer productivity systems at Stripe—leading Sorbet and IDE integration work that typechecks and powers developer workflows across millions of lines of code—and has driven measurable reliability improvements (uptime to 99.9995% and halved latency) through cross-functional programs. A former Dotty/Scala 3 compiler architect with a PhD from EPFL, Dmitry brings deep compiler and type-system expertise, contributing core refactors to the Scala 3 compiler such as path resolution and name handling. He uniquely combines hands-on systems design with business-facing program leadership, having architected novel enterprise deals and operational transformations that produced significant margin impact. Colleagues note his talent for simplifying complex problems and translating technical nuance into actionable decisions for non‑technical stakeholders.
code13 years of coding experience
job13 years of employment as a software developer
bookDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at EPFL
bookMaster Math Computer Science Physics, Master Math Computer Science Physics at Moscow Institute of Physics and Technology (State University) (MIPT)
bookAssociate Computer Science, Associate Computer Science at Yandex School of Data Analysis
languagesEnglish, Russian, Ukrainian, German, French
github-logo-circle

Github Skills (12)

scala10
type-checking10
compiler-design10
language-design10
type-check10
manipulation10
ruby10
llvm9
cprogramming-language9
c-language9
code-generation8
testing7

Programming languages (19)

JavaC++CSSCRustScalaHTMLTypeScript

Github contributions (5)

github-logo-circle
scala/scala3

Feb 2014 - Aug 2017

The Scala 3 compiler, also known as Dotty.
Role in this project:
userBack-end Developer
Contributions:2 releases, 1417 commits, 581 PRs in 3 years 6 months
Contributions summary:Dmitry focused on enhancing the Scala 3 compiler, specifically working on path resolution and other core functionalities. Their contributions involved refactoring and improving code within the parser and type system of the Scala 3 compiler. The changes included refactoring and simplification of name handling as well as fixing problems with the internal data structure of the compiler such as the way methods are handled.
compilerscala3scaladottyepfl
odersky/scala.github.com

Jan 2016 - Jan 2016

Contributions:16 commits in 5 days
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.
Request Free Trial
Dmitry Petrashko - Member Of Technical Staff at Anthropic