Summer Undergraduate Research Fellow 2026
Aleksandar Gatev
Email: [email protected]
About:
I am Aleksandar Gatev and this summer I will be working as a research intern at INSAIT. My project focuses on creating a benchmark that tests LLM’s capabilities of constructing proofs related to programming languages and certification. My supervisors are Dr. Dimitar Iliev Dimitrov and Ivo Petrov.
Education:
University of Cambridge, Cambridge, UK, (October 2025 – present)
Sofia High School of Mathematics, Sofia, Bulgaria, (September 2017 – June 2025)
Working Experience:
School “Olimpiici”, Sofia – lecturer in informatics (2023 – 2025)
MusalaSoft, Sofia – problem engineer (2022)
Awards:
Gold medal – International Olympiad in Informatics (IOI) 2025
Gold medal – Central-European Olympiad in Informatics (CEOI) 2025
Gold medal – International Zhautykov Olympiad in Informatics (IZHO) 2025
