Hristo Venev

Doctoral Student

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

2025

Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin Vechev
qblaze: An Efficient and Scalable Sparse Quantum Simulator
In: OOPSLA (SPLASH 2025)

Paper

2024

Hristo Venev, Timon Gehr, Dimitar Dimitrov, and Martin Vechev
Modular Synthesis of Efficient Quantum Uncomputation
In: Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2, 2024

Paper