Kseniia Ibragimova

Summer Undergraduate Research Fellow 2025

Email: [email protected]

About
I am Kseniia Ibragimova,  a research intern at INSAIT in the summer of 2025. 

My academic interests lie at the intersection of computational physics and artificial intelligence. At INSAIT I am working on an embedding model for mathematical statements that captures similarity between theorems, equations, and formulas, while ensuring invariance to algebraic transformations under the supervision of Prof. Martin Vechev and Dr. Dimitar Iliev Dimitrov.

Education
Moscow Institute of Physics and Technology (MIPT), Russia
B.Sc. in Applied Mathematics and Computer science
September 2023 – June 2027

Awards:
All-Russian Olympiad in Physics 2023 – Prize Winner
All-Russian Olympiad in Physics 2022 – Prize Winner