Gleb Solovev (Preferred)
Gleb Solovev
MS student, Advanced Software Technology, Constructor University
Researcher, Formal methods and LLMs, JetBrains
Joined
May 2025
Names
Emails
****@jetbrains.com (Confirmed)
Personal Links
Career & Education History
MS student
Advanced Software Technology, Constructor University (constructor.university)
2023 – Present
Researcher
Formal methods and LLMs, JetBrains (jetbrains.com)
2022 – Present
Undergrad student
Computer Science, Constructor University (constructor.university)
2022 – 2023
Undergrad student
Applied Mathematics and Information Science, Higher School of Economics (hse.ru)
2019 – 2022
Advisors, Relations & Conflicts
Expertise
Formal methods and LLMs
2022 – Present
Software Engineering
2019 – Present
Publications
No publications