Andrei Kozyrev (Preferred)
Andrei Kozyrev
Pronouns: he/him
Researcher, JetBrains Research, JetBrains
MS student, Computer Science, Constructor University Bremen
- Joined March 2025
Names
Emails
****@gmail.com (Confirmed)
, ****@jetbrains.com (Confirmed)
Personal Links
Career & Education History
Researcher
JetBrains Research, JetBrains (jetbrains.com)
2022 – Present
MS student
Computer Science, Constructor University Bremen (constructor.university)
2023 – 2025
Undergrad student
Computer Science, Constructor University Bremen (constructor.university)
2022 – 2023
Undergrad student
Mathematics and Computer Science, St. Petersburg State University (spbu.ru)
2020 – 2022
Advisors, Relations & Conflicts
Expertise
theorem provers, proof automation
2023 – Present
deep learning, transformers, diffusion models
2023 – Present
e-graphs, relation saturation
2022 – 2023