Martín Vechev

Científico informático búlgaro

Martin Vechev (nacido el 24 de julio de 1977) es profesor titular en el Departamento de Ciencias de la Computación de la ETH de Zúrich y trabaja en los campos de los lenguajes de programación , el aprendizaje automático y la seguridad informática . Dirige el Laboratorio de Sistemas Seguros, Confiables e Inteligentes (SRI), ^[1] parte del Departamento de Ciencias de la Computación.

Vechev es el fundador, arquitecto y director científico de INSAIT, un centro de investigación en informática e inteligencia artificial en Europa del Este, creado en colaboración con ETH Zurich y EPFL.

Es conocido por sus trabajos en aprendizaje automático para código (BigCode), donde introdujo motores de programación estadística entrenados en grandes bases de código, ^[2] inteligencia artificial confiable y digna de confianza, ^[1] donde introdujo métodos de interpretación abstracta para razonar sobre redes neuronales profundas para permitir la verificación de grandes modelos de aprendizaje automático, y programación cuántica, introduciendo el primer lenguaje y sistema de programación de alto nivel Silq. ^[3]

Vechev recibió el premio ACM SIGPLAN Robin Milner Young Researcher Award en 2019, ^{[4] [5] [6]} una beca ERC Consolidator Grant ^{[7] [8]} en 2021, un premio de mitad de carrera otorgado a investigadores destacados con trayectorias científicas muy prometedoras centradas en la IA segura y confiable, y una beca ERC Starting Grant de gran visibilidad , ^{[9] [10] [ 11] [12]} que ayudó a dar forma al área de la IA para el código. Vechev también es coautor de más de 170 publicaciones de investigación, ^[13] algunas de las cuales han sido reconocidas con premios al mejor artículo, premios al artículo distinguido, así como selecciones orales y destacadas. ^[14]

Antes de incorporarse a ETH Zurich en 2012, Vechev fue miembro del personal de investigación en el IBM TJ Watson Research Center en Nueva York, EE. UU., de 2007 a 2011.

Asesoró a estudiantes de doctorado

Vechev ha supervisado y graduado a 17 estudiantes de doctorado en la ETH de Zúrich . Varios de sus estudiantes de doctorado recibieron importantes reconocimientos por sus disertaciones. Veselin Raychev recibió una mención de honor para el premio de disertación doctoral ACM ^[15] y la medalla ETH . Gagandeep Singh recibió el premio de disertación doctoral ACM SIGPLAN . ^{[16] [17]} Samuel Steffen fue galardonado con el segundo puesto del premio de disertación doctoral ACM SIGSAC. ^[18] Benjamin Bichsel recibió tanto el premio de disertación doctoral John C. Reynolds ACM SIGPLAN ^{[19] [20]} como la medalla ETH ^[21] sobre el tema de "Programación cuántica de alto nivel". Timon Gehr recibió la medalla ETH. ^[22] Rüdiger Birkner fue galardonado con el premio de doctorado EuroSys Roger Needham 2022. ^[23] Dimitar K. Dimitrov recibió la medalla de la ETH. ^[24]

Vida temprana y educación

Martin Vechev nació en Sofía , Bulgaria , donde asistió a la Escuela Superior de Matemáticas de Sofía (SMG) de 1991 a 1994. Recibió una licenciatura en Ciencias de la Computación de la Universidad Simon Fraser en 2001 y un doctorado en Ciencias de la Computación de la Universidad de Cambridge en 2008.

Emprendimiento en serie

Vechev también ha cofundado seis nuevas empresas de tecnología profunda:

• LatticeFlow, construcción de una plataforma para ofrecer sistemas de IA robustos y confiables ^{[25] [26] [27]}
• DeepCode, un sistema de revisión de código basado en IA, adquirido por el unicornio de seguridad Snyk en 2020 ^{[28] [29] [30]}
• ChainSecurity, auditorías de seguridad de contratos inteligentes basadas en garantías matemáticas formales, adquirida por PwC Suiza en 2020 ^[31]
• NetFabric, centrado en la monitorización de redes basada en IA ^{[32] [33] [34]}
• Invariant Labs, dedicado al desarrollo de soluciones de seguridad avanzadas para agentes de IA autónomos ^[35]
• y LogicStar, una empresa que desarrolla agentes de IA que resuelven errores de forma autónoma ^[36]

Premios

El trabajo de Vechev ha sido reconocido por numerosos premios internacionales, entre ellos:

• Premio ACM SIGPLAN Robin Milner para jóvenes investigadores ^{[4] [5] [6]} en 2019 por sus importantes contribuciones al área de lenguajes de programación
• Investigación destacada sobre SIGPLAN de ACM ^[37]
• Investigación destacada del CACM 2016 ^{[38] [39] [40]}
• Subvención ERC Consolidator 2021 ^{[7] [8]} para el proyecto SafeAI: Inteligencia artificial certificada segura, justa y robusta
• Subvención inicial del ERC ^{[9] [10] [11] [12]} para el proyecto BIGCODE, el primero en combinar lenguajes de programación avanzados y técnicas de aprendizaje automático, que desarrolló nuevos métodos basados ​​en IA para crear y depurar software
• Premio John Atanasoff 2009, otorgado por el Presidente de Bulgaria ^{[41] [42] [43]}
• Premios de investigación para profesores de Google y Facebook
• Premio de la División de Investigación de IBM
• Premio al Logro Extraordinario de IBM (otorgado por John Kelly, vicepresidente sénior de IBM y director de investigación de IBM)
• Premio al proyecto de investigación destacado de IBM
• Premios IBM a la invención y logros técnicos sobresalientes

Referencias

1. "SafeAI: Inteligencia artificial segura". safeai.ethz.ch .
2. "Construyendo los sistemas de IA de próxima generación". ERC . 29 de abril de 2024.
3. "Silq es un nuevo lenguaje de programación de alto nivel para computadoras cuánticas". TechCrunch . Consultado el 19 de diciembre de 2021 .
4. "Premio ACM para jóvenes investigadores para el profesor Martin Vechev". ETH Zurich . 2019.
5. "Premio Robin Milner para Jóvenes Investigadores". www.sigplan.org .
6. "El profesor Martin Vechev recibió el premio ACM Young Researcher Award". inf.ethz.ch . Consultado el 27 de diciembre de 2021 .
7. "313 nuevas subvenciones de consolidación del ERC para abordar grandes cuestiones científicas". ERC . 5 de septiembre de 2024 . Consultado el 13 de septiembre de 2024 .
8. "Subvenciones de consolidación del ERC para Otmar Hilliges y Martin Vechev". inf.ethz.ch . 17 de marzo de 2022 . Consultado el 13 de septiembre de 2024 .
9. "Construyendo los sistemas de IA de próxima generación". ERC: Consejo Europeo de Investigación . 2015.
10. Entrevista en el Parlamento Europeo sobre las subvenciones del CEI a cargo de Martin Vechev (titular de la subvención inicial del CEI). , consultado el 16 de diciembre de 2021
11. "10 millones de francos suizos para jóvenes talentos". ethz.ch . 14 de diciembre de 2015 . Consultado el 16 de diciembre de 2021 .
12. Vesper, Inga (4 de junio de 2018). "El principal financiador de la ciencia de Europa demuestra que la investigación de alto riesgo da sus frutos". Nature . 558 (7708): 16–17. Bibcode :2018Natur.558...16V. doi : 10.1038/d41586-018-05325-4 . PMID  29872198. S2CID  46949722.
13. "dblp: Martin T. Vechev". dblp.org . Consultado el 15 de septiembre de 2024 .
14. "Publicaciones". SRI Lab . Consultado el 15 de septiembre de 2024 .
15. "Veselin Raychev". premios.acm.org . Consultado el 15 de septiembre de 2024 .
16. "Premio de disertación ACM SIGPLAN 2021 para Gagandeep Singh". inf.ethz.ch . 14 de septiembre de 2021 . Consultado el 16 de diciembre de 2021 .
17. "Premio de tesis doctoral John C. Reynolds". www.sigplan.org . Consultado el 16 de diciembre de 2021 .
18. "Premios de disertación ACM SIGSAC". www.sigsac.org . Consultado el 15 de septiembre de 2024 .
19. "Premio de tesis doctoral John C. Reynolds". www.sigplan.org . Consultado el 13 de septiembre de 2024 .
20. "Premio de disertación ACM SIGPLAN para Benjamin Bichsel". inf.ethz.ch . 2 de julio de 2024 . Consultado el 15 de septiembre de 2024 .
21. "Cinco doctorandos reciben medallas de la ETH". inf.ethz.ch . 15 de noviembre de 2023 . Consultado el 15 de septiembre de 2024 .
22. "Cuatro doctorandos reciben medallas de la ETH". inf.ethz.ch . 8 de noviembre de 2022 . Consultado el 15 de septiembre de 2024 .
23. "Capítulo europeo de ACM SIGOPS - Premio de doctorado Roger Needham". www.eurosys.org . Consultado el 15 de septiembre de 2024 .
24. "Medalla de la ETH para tesis doctorales". inf.ethz.ch . Consultado el 15 de septiembre de 2024 .
25. "LatticeFlow, una empresa derivada de ETH, recauda 2,8 millones de dólares para ayudar a construir sistemas de inteligencia artificial fiables". TechCrunch . Consultado el 13 de diciembre de 2021 .
26. "Los servicios conjuntos anuncian a los ganadores de la competencia mundial de inteligencia artificial". www.army.mil . Consultado el 13 de diciembre de 2021 .
27. Yovchev, Etien (3 de diciembre de 2021). "LatticeFlow se expande a Sofía para acelerar el desarrollo de su plataforma para modelos de IA robustos tras una fuerte adopción del producto". TheRecursive.com . Consultado el 18 de diciembre de 2021 .
28. "Snyk adquiere DeepCode para potenciar su inteligencia en la revisión de código". TechCrunch . Consultado el 13 de diciembre de 2021 .
29. "DeepCode, una filial de ETH AI, adquirida por un unicornio en ciberseguridad". ethz.ch . 23 de septiembre de 2020 . Consultado el 16 de diciembre de 2021 .
30. "Startup de análisis de código de IA fundada por un equipo búlgaro es adquirida por un unicornio de la ciberseguridad". Temas de actualidad . 23 de septiembre de 2020 . Consultado el 16 de diciembre de 2021 .
31. "La empresa derivada de ETH, ChainSecurity, es adquirida por PwC Suiza". inf.ethz.ch . Consultado el 13 de diciembre de 2021 .
32. "Por qué Playfair Capital invirtió en NetFabric.ai". www.tribume.com . Consultado el 13 de septiembre de 2024 .
33. България, Forbes (12 de julio de 2024). "Inicio de la versión completa de NetFabric con una versión de 1.6 millones de pulgadas en el monitoreo de la computadora". forbesbulgaria.com (en búlgaro) . Consultado el 13 de septiembre de 2024 .
34. Laoun, Joy. "La startup con sede en Zurich NetFabric.ai obtiene 2,2 millones de dólares para transformar la monitorización de redes". vestbee.com . Consultado el 13 de septiembre de 2024 .
35. "Invariant Labs". invariantlabs.ai . Consultado el 15 de septiembre de 2024 .
36. "LogicStar AI". logicstar.ai . Consultado el 15 de septiembre de 2024 .
37. "Documentos destacados de la investigación de SIGPLAN". www.sigplan.org . Consultado el 27 de diciembre de 2021 .
38. Raychev, Veselin; Vechev, Martin; Krause, Andreas (14 de enero de 2015). "Predicción de propiedades de programas a partir de "código grande"". Actas del 42.º Simposio anual ACM SIGPLAN-SIGACT sobre principios de lenguajes de programación . POPL '15. Nueva York, NY, EE. UU.: Association for Computing Machinery. págs. 111–124. doi :10.1145/2676726.2677009. ISBN 978-1-4503-3300-9.S2CID14571254  .​
39. Krause, Veselin Raychev, Martin Vechev, Andreas. "Predicción de propiedades de programas a partir de 'código grande'". cacm.acm.org . Consultado el 27 de diciembre de 2021 .{{cite web}}: CS1 maint: varios nombres: lista de autores ( enlace )
40. Rinard, Martin C. "Perspectiva técnica: tomar prestado código grande para automatizar actividades de programación". cacm.acm.org . Consultado el 27 de diciembre de 2021 .
41. "Premios John Atanassov".
42. Premio John Atanasoff 2009 - Vechev , consultado el 13 de diciembre de 2021
43. "Мартин Вечев е носителят на тазгодишния приз". econ.bg (en búlgaro) . Consultado el 13 de diciembre de 2021 .