Мартин Вечев
Мартин Вечев | |
|---|---|
| Мартин Вечев | |
| Рожденный | 24 июля 1977 г. |
| Национальность | болгарский |
| Альма-матер | Кембриджский университет Университет Саймона Фрейзера |
| Известный | Машинное обучение для кода (BigCode), Надежный и заслуживающий доверия искусственный интеллект, Квантовое программирование, Язык программирования Silq |
| Награды | Премия ACM SIGPLAN для молодых исследователей Робина Милнера 2019 Премия Джона Атанасова Стартовый грант ERC Премия IBM за выдающиеся достижения Премия IBM Research за выдающийся проект Награды за выдающиеся достижения (RV 2010, OOPSLA 2016) Премия факультета Google Премия факультета Facebook |
| Научная карьера | |
| Поля | Языки программирования, машинное обучение, безопасность |
| Учреждения | ETH Цюрих |
| Веб-сайт | https://www.sri.inf.ethz.ch |
Мартин Вечев — профессор кафедры компьютерных наук ETH Zurich, работающий в области языков программирования , машинного обучения и безопасности . Он возглавляет Лабораторию безопасных, надежных и интеллектуальных систем (SRI), входящую в состав факультета компьютерных наук.
Профессор Вечев является основателем и архитектором INSAIT , первого исследовательского центра мирового уровня в области компьютерных наук и искусственного интеллекта в Восточной Европе, созданного в партнерстве с ETH Zurich и EPFL.
Он известен своими новаторскими работами в области машинного обучения кода (BigCode), где он представил механизмы статистического программирования, обученные на больших базах кода. [1] надежный и заслуживающий доверия искусственный интеллект, [2] где он представил методы абстрактной интерпретации для рассуждений о глубоких нейронных сетях, позволяющих проверять большие модели машинного обучения, и квантовое программирование, представив первый язык программирования высокого уровня и систему Silq. [3]
Вечев получил премию ACM SIGPLAN Robin Milner Young Researcher Award в 2019 году. [4] [5] [6] и заметный стартовый грант ERC , [7] [8] [9] [10] что помогло сформировать область машинного обучения для кода. В 2016 году получил степень доктора философии. студент Веселин Райчев получил почетную награду за докторскую диссертацию ACM , а в 2021 году получил докторскую степень. студент Гагандип Сингх получил премию ACM SIGPLAN за докторскую диссертацию. [11] [12]
Вечев также является соучредителем стартапов в области глубоких технологий LatticeFlow. [13] [14] ДипКод, [15] [16] [17] и Цепная безопасность. [18]
Молодость образование и
Мартин Вечев родился в Софии , Болгария , где с 1991 по 1994 год учился в Софийской высшей математической школе (СМГ). Он получил степень бакалавра наук. степень бакалавра компьютерных наук в Университете Саймона Фрейзера в 2001 году и степень доктора философии. Получил степень бакалавра компьютерных наук в Кембриджском университете работал научным сотрудником в Исследовательском центре IBM TJ Watson в 2008 году. До работы в ETH Zurich в 2012 году Вечев в период 2007–2011 годов в Нью-Йорке, США.
Карьера [ править ]
Он работал в группе в ETH Zurich, в результате которой были созданы популярные системы:
- JSNice, DeGuard и DeBIN — статистические деобфускаторы для JavaScript, приложений Android и двоичных исполняемых файлов.
- Анализатор устойчивости ETH для нейронных сетей (ERAN), надежный, точный и масштабируемый верификатор надежности для глубоких нейронных сетей, основанный на абстрактной интерпретации.
- Silq, первый язык программирования высокого уровня для квантовых вычислений со строгой статической системой типов. [19] [3]
- PSI Solver, инженер точного вывода для вероятностных программ.
- ELINA, современная библиотека числовых абстрактных областей для статического анализа.
- Securify и VerX, статический анализатор и автоматизированный верификатор для смарт-контрактов Ethereum
- SyNET, NetComplete, NetDice: системы детерминированной и вероятностной верификации и синтеза для компьютерных сетей.
Он также является соучредителем стартапов в области глубоких технологий:
- LatticeFlow — первая в мире платформа для создания надежных и надежных систем искусственного интеллекта. [20] [21]
- DeepCode, первая система проверки кода на основе искусственного интеллекта, приобретенная единорогом безопасности Snyk в 2020 году. [15] [16] [17]
- и ChainSecurity, аудит безопасности смарт-контрактов, основанный на формальных математических гарантиях, приобретенный PwC в Швейцарии в 2020 году. [18]
Награды [ править ]
- Премия ACM SIGPLAN Робина Милнера молодому исследователю [4] [5] [6] в 2019 году за большой вклад в область языков программирования;
- Основные результаты исследования ACM SIGPLAN ; [22]
- Основные результаты исследований CACM 2016; [23] [24] [25]
- Стартовый грант ERC [7] [8] [9] [10] для проекта BIGCODE, первого объединившего передовые языки программирования и методы машинного обучения, который разработал новые методы создания и отладки программного обеспечения на основе искусственного интеллекта;
- Премия «Выдающийся артефакт» ( OOPSLA 2013); [26] [27]
- Премия Джона Атанасова 2009 г., врученная президентом Болгарии ; [28] [29] [30]
Ссылки [ править ]
- ^ «Создание систем искусственного интеллекта следующего поколения» .
- ^ «Безопасный и надежный искусственный интеллект» .
- ^ Jump up to: Перейти обратно: а б «Silq — это новый язык программирования высокого уровня для квантовых компьютеров» . ТехКранч . Проверено 19 декабря 2021 г.
- ^ Jump up to: Перейти обратно: а б «Премия молодого исследователя ACM профессору Мартину Вечеву» . ETH Цюрих . 2019.
- ^ Jump up to: Перейти обратно: а б «Премия Робина Милнера молодому исследователю» .
- ^ Jump up to: Перейти обратно: а б «Проф. Мартин Вечев удостоен премии ACM Young Researcher» . inf.ethz.ch. Проверено 27 декабря 2021 г.
- ^ Jump up to: Перейти обратно: а б «Создание систем искусственного интеллекта следующего поколения» . ERC: Европейский исследовательский совет . 2015.
- ^ Jump up to: Перейти обратно: а б Интервью Мартина Вечева (начального обладателя гранта ERC) в Европейском парламенте о грантах ERC. , получено 16 декабря 2021 г.
- ^ Jump up to: Перейти обратно: а б «10 миллионов швейцарских франков для молодых талантов» . ethz.ch. 14 декабря 2015 года . Проверено 16 декабря 2021 г.
- ^ Jump up to: Перейти обратно: а б Веспер, Инга (4 июня 2018 г.). «Крупнейший спонсор науки в Европе показывает, что исследования с высоким уровнем риска окупаются» . Природа . 558 (7708): 16–17. Бибкод : 2018Natur.558...16V . дои : 10.1038/d41586-018-05325-4 . ПМИД 29872198 . S2CID 46949722 .
- ^ «Премия за диссертацию ACM SIGPLAN 2021 года для Гагандипа Сингха» . inf.ethz.ch. 14 сентября 2021 г. . Проверено 16 декабря 2021 г.
- ^ «Премия Джона К. Рейнольдса за докторскую диссертацию» . www.sigplan.org . Проверено 16 декабря 2021 г.
- ^ «Отделение ETH, LatticeFlow, привлекает 2,8 миллиона долларов для создания надежных систем искусственного интеллекта» . ТехКранч . Проверено 13 декабря 2021 г.
- ^ «Объединенные службы объявляют победителей глобального конкурса искусственного интеллекта» . www.army.mil . Проверено 13 декабря 2021 г.
- ^ Jump up to: Перейти обратно: а б «Snyk приобретает DeepCode, чтобы повысить эффективность проверки кода» . ТехКранч . Проверено 13 декабря 2021 г.
- ^ Jump up to: Перейти обратно: а б «DeepCode, дочерняя компания ETH AI, приобретенная единорогом в области кибербезопасности» . ethz.ch. 23 сентября 2020 г. Проверено 16 декабря 2021 г.
- ^ Jump up to: Перейти обратно: а б «Стартап по анализу ИИ-кода, основанный болгарской командой, приобретен единорогом кибербезопасности» . Актуальные темы . 23 сентября 2020 г. Проверено 16 декабря 2021 г.
- ^ Jump up to: Перейти обратно: а б «ChainSecurity, дочерняя компания ETH, перешла во владение PwC Switzerland» . inf.ethz.ch. Проверено 13 декабря 2021 г.
- ^ Цюрих, ETH «Первый интуитивно понятный язык программирования для квантовых компьютеров» . cacm.acm.org . Проверено 27 декабря 2021 г.
- ^ «Отделение ETH, LatticeFlow, привлекает 2,8 миллиона долларов для создания надежных систем искусственного интеллекта» . ТехКранч . Проверено 18 декабря 2021 г.
- ^ Йовчев, Этьен (3 декабря 2021 г.). «Видя активное внедрение продукта, LatticeFlow расширяется в Софию, чтобы ускорить разработку своей платформы для надежных моделей искусственного интеллекта» . TheRecursive.com . Проверено 18 декабря 2021 г.
- ^ «Основные статьи исследований SIGPLAN» . www.sigplan.org . Проверено 27 декабря 2021 г.
- ^ Райчев, Веселин; Вечев, Мартин; Краузе, Андреас (14 января 2015 г.). «Прогнозирование свойств программы на основе «большого кода» » . Материалы 42-го ежегодного симпозиума ACM SIGPLAN-SIGACT по принципам языков программирования . ПОПЛ '15. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр. 111–124. дои : 10.1145/2676726.2677009 . ISBN 978-1-4503-3300-9 . S2CID 14571254 .
- ^ Краузе, Веселин Райчев, Мартин Вечев, Андреас. «Прогнозирование свойств программы на основе «большого кода» » . cacm.acm.org . Проверено 27 декабря 2021 г.
{{cite web}}: CS1 maint: несколько имен: список авторов ( ссылка ) - ^ Ринард, Мартин К. «Техническая перспектива: заимствование большого кода для автоматизации программной деятельности» . cacm.acm.org . Проверено 27 декабря 2021 г.
- ^ Райчев, Веселин; Вечев, Мартин; Шридхаран, Ману (29 октября 2013 г.). «Эффективное обнаружение гонок для программ, управляемых событиями» . Материалы международной конференции ACM SIGPLAN 2013 года по языкам и приложениям объектно-ориентированных систем программирования . УПСЛА '13. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники. стр. 151–166. дои : 10.1145/2509136.2509538 . ISBN 978-1-4503-2374-1 . S2CID 9750610 .
- ^ «Пост Ману Шридхарана в Твиттере: награда за выдающийся артефакт для EventRacer» . Твиттер .
- ^ «Премия Джона Атанасова» .
- ^ Премия Джона Атанасова 2009 г. - Вечев , получено 13 декабря 2021 г.
- ^ «Мартин Вечев – лауреат премии этого года» . econ.bg (на болгарском языке) . Проверено 13 декабря 2021 г.
| Базы данных авторитетного контроля : академики |
|---|
