Please complete the CAPTCHA to continue
@jetbrains.com
✓
LinkedIn matched
A concise factual answer block for searchers comparing this professional profile.
Anton Podkopaev is listed as Head of Research Lab @ JetBrains at JetBrains, a company with 1013 employees, based in Amsterdam, North Holland, Netherlands. AeroLeads shows a work email signal at jetbrains.com and a matched LinkedIn profile for Anton Podkopaev.
Anton Podkopaev previously worked as Head of Programming Languages and Program Analysis (PLAN) lab at Jetbrains and Head of Programming Languages and Tools (PLT) lab at Jetbrains. Anton Podkopaev holds Phd, Computer Science, 5.0/5.0 from Saint Petersburg State University.
This section adds company-level context without repeating Anton Podkopaev's masked contact details.
AeroLeads found 1 current-domain work email signal for Anton Podkopaev. Compare company email patterns before reaching out.
I'm passionate about organizing research teams to do ground-breaking research. I have a strong focus on people's growth. On technical side, I'm a big fan of formal methods and have a strong believe that there is a bright future for them, esp., due to recent advancements in generative AI. Key areas of expertise:- Research management (both fundamental and applied)- Research in Programming Languages- Program verification- Interactive theorem proving- Weak memory models, concurrency
Listed skills include Functional Programming, Programming Language Theory, Coq, Pretty Printing, and 17 others.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
Amsterdam, North Holland, Netherlands
Managing a team of 25+ researchers.- Lead the CoqPilot project, a plugin for an LLM-based generation of Coq proofs.- Lead the LitmusKt project, a tool for stress testing of concurrency implementation of Kotlin/Native.- Lead a group working on theoretical aspects of weak memory models. The group develops new memory models suppposed to replace C/C++ and Java.
Amsterdam, North Holland, Netherlands
At the moment I became the head of the lab, the lab comprised 4 researchers (incl. myself).Before merging with another lab and renaming to the PLAN lab, the lab comprised 15 researchers and interns.
Saint Petersburg, Russian Federation
Bremen, Germany
- Advising programming language's (PL) track at "Software, Data and Technology" program (https://lp.jetbrains.com/software-data-and-technology-constructor-university/).- Teaching courses on programming language semantics, interactive theorem proving (the Coq proof assistant) in application to programming languages, weak memory concurrency.- Supervising.
St Petersburg City, Russia
Teaching courses:- Programming Language Semantics;- Compiler design and implementation.
St Petersburg City, Russia
Other employees you can reach at jetbrains.com. View company contacts for 1013 employees →
Nikolai Rykunov
Colleague at Jetbrains
Amstelveen, North Holland, Netherlands, Netherlands
View →
AA
Anna Atapina
Colleague at Jetbrains
Berlin, Berlin, Germany, Germany
View →
KT
Katerina Trendafilova
Colleague at Jetbrains
Berlin, Germany, Germany
View →
AL
Alina Lobanova
Colleague at Jetbrains
Netherlands, Netherlands
View →
EM
Elvira Mustafina
Colleague at Jetbrains
London, England, United Kingdom, United Kingdom
View →
AS
Anton Shelepau
Colleague at Jetbrains
Paphos Municipality, Paphos, Cyprus, Cyprus
View →
TP
Tamara Panesh
Colleague at Jetbrains
Diemen, North Holland, Netherlands, Netherlands
View →
DK
Dmitry Kazantsev
Colleague at Jetbrains
Pafos, Paphos, Cyprus, Cyprus
View →
VK
Viktor Kadnikov
Colleague at Jetbrains
Belgrade, Serbia, Serbia
View →
OL
Olga Lvova
Colleague at Jetbrains
Yerevan, Armenia, Armenia
View →
Quick answers generated from the profile data available on this page.
Anton Podkopaev works for JetBrains.
Anton Podkopaev is listed as Head of Research Lab @ JetBrains at JetBrains.
AeroLeads has found 1 work email signal at @jetbrains.com for Anton Podkopaev at JetBrains.
Anton Podkopaev is based in Amsterdam, North Holland, Netherlands while working with JetBrains.
Anton Podkopaev has worked for Jetbrains, Constructor University, Hse University, Computer Science Center, and Mpi Sws.
Anton Podkopaev's colleagues at JetBrains include Nikolai Rykunov, Anna Atapina, Katerina Trendafilova, Alina Lobanova, and Elvira Mustafina.
You can use AeroLeads to view verified contact signals for Anton Podkopaev at JetBrains, including work email, phone, and LinkedIn data when available.
Anton Podkopaev holds Phd, Computer Science, 5.0/5.0 from Saint Petersburg State University.
Anton Podkopaev is listed with skills including Functional Programming, Programming Language Theory, Coq, Pretty Printing, Algorithms, Python, Programming, and Photoshop.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contactsCheck these profiles if this is not the Anton Podkopaev you were looking for.
