Daniel Tropolinov

Research intern

About me:
I am Daniel Tropolinov, a research intern at INSAIT and a fourth-year Computer
Science undergraduate at Sofia University. My research will focus on Agent
Distillation and will be supervised by Prof. Martin Vechev and Dr. Veselin
Raychev.

Education:
– High School of Mathematics and Natural Sciences “Vasil Drumev”, Veliko
Tarnovo – September 2016 to May 2021
– Sofia University “St. Kliment Ohridski” – BSc Computer Science – October
2021 to July 2025 (expected)

Relevant Experience:
Teaching assistant at Sofia University “St. Kliment Ohridski” — Discrete
Mathematics; Design and Analysis of Algorithms practicum; Competitive
Programming; Languages, Automata and Computability

Awards:
– The 2024 ICPC Southeastern Europe Regional Contest – Bronze Medal;
– Part of Sofia University’s winning team at the National Student
Programming Olympiad (2023 & 2024)
– Captain of the winning team at the FMICodes Hackathon 2024
– National Student Olympiad in Computer Mathematics 2023 – Gold Medal