Trayan Gospodinov

Doctoral student

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.


  • 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


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