Andrei Kozyrev

Pronouns: he/him

MS student, Computer Science, Constructor University Bremen

Researcher, JetBrains Research, JetBrains

  • Joined March 2025

Names

Andrei Kozyrev (Preferred)

Emails

****@gmail.com (Confirmed)
,
****@jetbrains.com (Confirmed)

Personal Links

Career & Education History

MS student
Computer Science, Constructor University Bremen (constructor.university)
2023 – Present
 
Researcher
JetBrains Research, JetBrains (jetbrains.com)
2022 – Present
 
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

Coauthor
2023 – 2025
 
Coauthor
2023 – 2025
 
Coauthor
2022 – 2025
 

Expertise

theorem provers, proof automation
2023 – Present
 
deep learning, transformers, diffusion models
2023 – Present
 
e-graphs, relation saturation
2022 – 2023