Докторант
Христо Венев
Имейл: [email protected]
За мен
Аз съм Христо Венев, докторант в Института по компютърни науки, изкуствен интелект и технологии, Софийски университет от октомври 2022 г. Научен ръководител ми е проф. Мартин Вечев.
Интересите ми включват езици за програмиране, формална верификация и квантови изчисления.
Образование
- Оксфордски университет, октомври 2016 г. – юли 2020 г.
Магистър по компютърни науки (първи клас)
Награди
ATV стипендия – 2017
Международна олимпиада по информатика, златен медал – 2016
Международна олимпиада по информатика, златен медал – 2015
Международна олимпиада по информатика, златен медал – 2014
Международна олимпиада по информатика, златен медал – 2013
Международна олимпиада по информатика, сребърен медал – 2012
