Anton Podkopaev (Preferred)
Anton Podkopaev
Pronouns: he/him
Associate Professor, Constructor University Bremen
Researcher, JetBrains Research, JetBrains
- Joined May 2025
Names
Emails
****@jetbrains.com (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Associate Professor
Constructor University Bremen (jacobs-university.de)
2023 – Present
Researcher
JetBrains Research, JetBrains (jetbrains.com)
2022 – Present
Associate Professor
Higher School of Economics (hse.ru)
2018 – 2022
Researcher
JetBrains Research, JetBrains (jetbrains.com)
2013 – 2022
Postdoc
MPI-SWS (mpi-sws.org)
2019 – 2020
PhD student
St. Petersburg State University (spbu.ru)
2014 – 2018
Intern
IMDEA Software Institute (imdea.org)
2015 – 2015
Undergrad student
St. Petersburg State University (spbu.ru)
2009 – 2014
Advisors, Relations & Conflicts
PhD Advisee
Evgenii Moiseenko
2016 – Present
Coauthor
Soham Chakraborty
2020 – 2025
Expertise
LLMs, Generative AI
2023 – Present
formal verification, mechanized proofs, Coq, Rocq
2017 – Present
concurrency, weak memory models
2015 – Present
functional programming
2014 – Present