Христо Венев

Докторант

Имейл: [email protected]

За мен

Аз съм Христо Венев, докторант в Института по компютърни науки, изкуствен интелект и технологии, Софийски университет от октомври 2022 г. Научен ръководител ми е проф. Мартин Вечев.

Интересите ми включват езици за програмиране, формална верификация и квантови изчисления.

Образование

Оксфордски университет, октомври 2016 г. – юли 2020 г.
Магистър по компютърни науки (първи клас)

Награди

ATV стипендия – 2017

Международна олимпиада по информатика, златен медал – 2016

Международна олимпиада по информатика, златен медал – 2015

Международна олимпиада по информатика, златен медал – 2014

Международна олимпиада по информатика, златен медал – 2013

Международна олимпиада по информатика, сребърен медал – 2012