Martin Vechev es profesor en el Departamento de Ciencias de la Computación en ETH Zurich y trabaja en los campos de lenguajes de programación , aprendizaje automático y seguridad . Dirige el Laboratorio de Sistemas Seguros, Confiables e Inteligentes (SRI), parte del Departamento de Ciencias de la Computación. Es conocido por sus trabajos pioneros en el aprendizaje automático de código (BigCode), donde introdujo motores de programación estadística entrenados en grandes bases de código, [1] inteligencia artificial fiable y fiable, [2]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, presentando el primer lenguaje de programación de alto nivel y el sistema Silq. [3]
Vechev recibió el premio ACM SIGPLAN Robin Milner Young Researcher Award en 2019 [4] [5] [6] y una subvención inicial ERC altamente visible , [7] [8] [9] [10] que ayudó a dar forma al área de la máquina . aprendizaje de código. En 2016, su Ph.D. el estudiante Veselin Raychev recibió una Mención de Honor por el Premio de Disertación Doctoral de ACM y en 2021 su Ph.D. estudiante Gagandeep Singh recibió el premio de disertación doctoral ACM SIGPLAN . [11] [12]
Vechev también ha co-fundado las empresas emergentes de tecnología profunda LatticeFlow, [13] [14] DeepCode, [15] [16] [17] y ChainSecurity. [18]
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ó un B.Sc. en Ciencias de la Computación de la Universidad Simon Fraser en 2001 y un Ph.D. en Ciencias de la Computación de la Universidad de Cambridge en 2008. Antes de comenzar en ETH Zurich en 2012, Vechev fue miembro del personal de investigación en el Centro de Investigación IBM TJ Watson en Nueva York, EE. UU. en el período 2007-2011.