Anton Podkopaev (Preferred)
Anton Podkopaev
Associate Professor, Constructor University Bremen
Researcher, JetBrains Research, JetBrains
Joined
May 2025
Names
Emails
****@jetbrains.com (Confirmed)
****@gmail.com (Confirmed)
****@constructor.university (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
Publications
Co-Authors
- Alan Jeffrey
- Aleksandar Nanevski
- Aleksandr Shefer
- Andrei Kozyrev
- Azalea Raad
- Christopher Pulte
- Chung-Kil Hur
- Conrad Watt
- Daniil Berezun
- Denis Lochmelis
- Dmitri Boulytchev
- Dmitrij V. Koznov
- Egor Namakonov
- Ekaterina Verbitskaia
- Evgenii Moiseenko
- Gleb Solovev
- Guillaume Barbier
- Igor Engel
- Ilya Kaysin
- Ilya Sergey
- Innokentii Meleshchenko
- Ivan Kabashnyi
- James Riely
- Jean Pichon-Pharabod
- Jonas Oberhauser