Проф. Мартин Вечев

Проф. Мартин Вечев е редовен професор по компютърни науки в ETH Цюрих, където ръководи Лабораторията за сигурни, надеждни и интелигентни системи и е основател и архитект на INSAIT. Преди да започне работа в ETH Zurich, Вечев е член на изследователския екип в IBM T.J. Watson Research Center в Ню Йорк, САЩ (2007-2011 г.). Той получава докторска степен от Университета в Кеймбридж, Англия (2003-2008 г.) и бакалавърска степен от Университета Саймън Фрейзър (SFU), Канада (1996-2001 г.). Преди това учи в Софийската математическа гимназия (СМГ). Работата на професор Вечев обхваща широката област на изкуствения интелект и езиците за програмиране, включително теоретични и системни аспекти. Той е изнесъл редица поканени и основни доклади по тези теми на различни конференции и семинари. Заедно с групата си в ETH Цюрих той изгражда редица системи, широко използвани в академичните среди и индустрията, включително създаването на първия квантов език за програмиране на високо ниво Silq. Вечев също така е съосновател на три стартиращи предприятия в областта на дълбоките технологии, основани на новаторски изследвания, като всички те оказват положително въздействие върху нашия свят. Първо, той е съосновател на DeepCode, който изгражда революционна система за изкуствен интелект, която автоматично се научава да открива нарушения на сигурността и грешки в програмите в мащаб, далеч надхвърлящ досегашните възможности. DeepCode е инициирана, след като групата на Вечев помага за оформянето на изследователската област AI for code, част от ERC Starting Grant: ИИ за програмиране Интервю за ERC. През 2020 г. DeepCode е придобита от гиганта в областта на киберсигурността Snyk, който е еднорог. През 2017 г. той е съосновател на ChainSecurity, която също е придобита през 2020 г. от PwC и която е първата, която въвежда формално доверие и математически гаранции за сигурност в децентрализирани системи чрез усъвършенствани автоматизирани разсъждения. И накрая, през 2020 г. Мартин Вечев е съосновател на LatticeFlow, която създава нови видове системи, позволяващи разработването на стабилни, надеждни и безопасни модели на изкуствен интелект, решавайки наболял обществен проблем. Изследванията на проф. д-р Вечев са получили множество награди и признания.