Hristo Venev

Doctoral Student

About me

I am Hristo Venev, a doctoral student at the Institute for Computer Science, Artificial Intelligence and Technology, Sofia University from October 2022. I am supervised by Prof. Martin Vechev.

My interests include programming languages, formal verification, and quantum computing.

Education

  • University of Oxford, October 2016 – July 2020
    Master of Computer Science (First Class)

Awards

ATV Scholarship – 2017

International Olympiad in Informatics, gold medal – 2016

International Olympiad in Informatics, gold medal – 2015

International Olympiad in Informatics, gold medal – 2014

International Olympiad in Informatics, gold medal – 2013

International Olympiad in Informatics, silver medal – 2012