Проф. Мартин Вечев – лектор на Предприемачи в науката

Проф. Мартин Вечев – лектор на Предприемачи в науката

Името му преди около два месеца влезе в големите български медии заради поредното му постижение. Проф. Мартин Вечев, с ръководения от него екип на Лабораторията за сигурни, надеждни и интелигентни системи на Швейцарския федерален технологичен институт в Цюрих, разработва първия интуитивен език за програмиране за квантови компютри на високо ниво – Silq. Близо 50 години след създаването на C, отново има подобен крайъгълен камък: нов език за програмиране, който носи същото ниво на простота на кодиране на квантовите изчисления. Това се определя като голям пробив, тъй като езикът преодолява концептуалната пропаст, която съществува в момента между класическия и квантовите езици.

Проф. Мартин Вечев ще бъде част от Консултативния съвет на фондация Карол Знание и лектор в третото издание на Предприемачи в науката. Завършил е компютърни науки в Simon Fraser University, Канада, а след това със същата специалност – докторантура в University of Cambridge. На 32 години, получава наградата „Джон Атанасов“, когато работи в IBM T.J. Watson Research Center. Тогава изследва използването и създаването на нови формални методи за синтезиране и доказване на сложни конкурентни алгоритми. Към онзи момент вече е автор е на 20 научни публикации и е носител е на различни стипендии, патенти и награди, в това число и наградата на изследователския център на IBM за изключителни технически постижения. Сега има над 170 публикации, цитирани повече от 5200 пъти. Следват повече от дузина отличия, между които Награда за млад изследовател Робин Милнър, която се връчва от ACM SIGPLAN, за признаване на изключителен принос на млади изследователи в областта на програмните езици.

Съосновател e на два спинофа с ЕТН в Цюрих. DeepCode е създадена през 2016 г. и променя начина, по който се създават програми, като използва мощни техники за изкуствен интелект и машинно обучение. Платформата за преглед на код се използва от над  четири милиона разработчици в цял свят, сред които програмисти от Google, Microsoft, Amazon, Samsung, Intel и T-Mobile.

Година по-късно съосновава ChainSecurity, отново като спин-оф с ЕТН. Компанията бързо става световен лидер в областта на киберсигурността и верификацията на интелигентни договори. В началото на годината PwC Switzerland придобива компанията, за да затвърди способностите си за интелигентен одит на договори. ChainSecurity е провела над 75 интелигентни одити на договори и блокчейн в световен мащаб.


By continuing to use the site, you agree to the use of cookies. more information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.

Close