Trayan Gospodinov

Doctoral student

Email: [email protected]

About me: 

I am a PhD student at Institute for Computer Science, Artificial Intelligence and Technology, starting in September 2024. My research will focus on constructing formal methods for program verification and be supervised by Prof. Peter Muller.

Education:

Sofia University “St. Kliment Ohridski” — BSc Informatics — October 2018 to July 2022
Sofia University “St. Kliment Ohridski” — MSc Logics and algorithms — October 2023 to July 2024 (expected)

Relevant Experience:

Teaching assistant at Sofia University “St. Kliment Ohridski” — Design and analysis of algorithms — 2020 to 2023

Awards:

South eastern european mathematical olympiad for university students — bronze medal
Mathematics without borders (team of 3) — silver medal
Mathematics without borders — numerous medals