Doctoral Student
Hristo Venev
Email: [email protected]
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
