Martín Vechev

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

Vechev es el fundador, arquitecto y director científico de INSAIT - Instituto de Informática, Inteligencia Artificial y Tecnología , 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 segura, ^{[ 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 para jóvenes investigadores en 2019, ^{[ 4 ] [ 5 ] [ 6 ]} una beca ERC Consolidator Grant ^{[ 7 ] [ 8 ]} en 2021, un premio para 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 ha sido 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 destacadas y orales. ^{[ 14 ]}

Antes de incorporarse a la ETH Zúrich en 2012, Vechev fue miembro del equipo de investigación del Centro de Investigación IBM TJ Watson en Nueva York, EE. UU., desde 2007 hasta 2011.

Vechev ha supervisado y graduado a 21 estudiantes de doctorado en ETH Zurich . ^{[ 15 ]} Varios de sus estudiantes de doctorado recibieron importantes reconocimientos por sus disertaciones. Veselin Raychev recibió una Mención Honorífica para el Premio ACM a la Disertación Doctoral ^{[ 16 ]} y la medalla ETH . Gagandeep Singh recibió el Premio ACM SIGPLAN a la Disertación Doctoral. ^{[ 17 ] [ 18 ]} Samuel Steffen fue galardonado con el Segundo Premio ACM SIGSAC a la Disertación Doctoral. ^{[ 19 ]} Benjamin Bichsel recibió tanto el Premio ACM SIGPLAN John C. Reynolds a la Disertación Doctoral ^{[ 20 ] [ 21 ]} como la medalla ETH ^{[ 22 ]} sobre el tema de 'Programación Cuántica de Alto Nivel'. Timon Gehr recibió la medalla ETH. ^{[ 23 ]} Rüdiger Birkner recibió el premio EuroSys Roger Needham Ph.D. Award 2022. ^{[ 24 ]} Dimitar K. Dimitrov recibió la medalla ETH. ^{[ 25 ]}

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

Vechev también ha cofundado 6 empresas emergentes de tecnología avanzada:

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

La obra de Vechev ha sido reconocida con numerosos premios internacionales, entre ellos:

• Premio ACM SIGPLAN Robin Milner para Jóvenes Investigadores ^{[ 4 ] [ 5 ] [ 6 ]} en 2019 por importantes contribuciones al área de los lenguajes de programación.
• Aspecto destacado de la investigación de ACM SIGPLAN ^{[ 40 ]}
• Lo más destacado de la investigación de CACM 2016 ^{[ 41 ] [ 42 ] [ 43 ]}
• Subvención ERC Consolidator 2021 ^{[ 7 ] [ 8 ]} para el proyecto SafeAI: Inteligencia Artificial Certificada Segura, Justa y Robusta
• Beca 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 ^{[ 44 ] [ 45 ] [ 46 ]}
• Premios de investigación para profesores de Google y Facebook
• Premio de la División de Investigación de IBM
• Premio IBM a la Trayectoria Extraordinaria (otorgado por John Kelly, Vicepresidente Sénior de IBM y Director de Investigación de IBM)
• Premio IBM al Proyecto de Investigación Destacado
• Premios IBM a la invención y a los logros técnicos sobresalientes