Anton Podkopaev
Head Of Programming Languages And Program Analysis (PLAN) Lab at JetBrains
Amsterdam, North Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolAnton Podkopaev is a research-driven technology leader with 15 years of experience directing programming languages and program analysis research, currently heading JetBrains' PLAN lab in Amsterdam. He combines hands-on expertise in formal methods, interactive theorem proving (Coq), and weak memory models with proven research management—leading teams of 25+ and projects like CoqPilot and LitmusKt. Anton bridges theory and practice by designing new memory models, mechanizing proofs in Coq, and applying LLMs to proof generation, reflecting a belief that generative AI will amplify formal methods' impact. He also teaches and supervises at Constructor University and has a strong academic track record including a PhD in Computer Science. Known for prioritizing people’s growth, he scales high-quality research groups while keeping a keen eye on practical tooling and verification for real-world languages like Kotlin/Native.
15 years of coding experience
9 years of employment as a software developer
PhD, Computer Science, 5.0/5.0, PhD, Computer Science, 5.0/5.0 at Saint Petersburg State University
English, Russian, Dutch
Github Skills (60)
tla10
robotics10
compilation10
factory10
ssa10
crc10
intermediate10
inheritance10
robot10
polling10
correctness10
qbcore-framework10
slice10
ttl10
opcodes10
Programming languages (5)
Github contributions (5)
weakmemory/promising2ToImm
Feb 2020 - Feb 2025
Contributions:12 pushes, 3 branches in 5 years
prettyPrinting/format
Nov 2014 - Mar 2016
Contributions:3 releases, 33 commits, 5 PRs in 1 year 3 months
printingpretty-printingpolynomial-timepolynomialcombinators
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.