Nikita Khramov (Preferred)
Nikita Khramov
Researcher, Research, JetBrains GmbH
Joined
May 2025
Names
Emails
****@jetbrains.com (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Researcher
Research, JetBrains GmbH (jetbrains.com)
2024 – Present
MS student
Constructor University Bremen (constructor.university)
2023 – 2025
Undergrad student
Constructor University Bremen (constructor.university)
2022 – 2023
Undergrad student
Higher School of Economics (spb.hse.ru)
2020 – 2022
Advisors, Relations & Conflicts
Expertise
Generative AI
Present
Formal Verification
Present
Code Generation
Present
Automated Program Repair
Present