Helmut Veith (5 de febrero de 1971 – 12 de marzo de 2016) fue un informático austríaco que trabajó en las áreas de verificación asistida por computadora , ingeniería de software , seguridad informática y lógica en informática . Fue profesor de informática en la Universidad Tecnológica de Viena (TU Wien) , Austria. [1] [3] [4]
Veith recibió su Diplom-Ingenieur en lógica computacional en la TU Wien en 1994. Recibió su doctorado en informática en 1998 bajo la supervisión del profesor Georg Gottlob sobre el tema de la complejidad computacional de la lógica y los lenguajes de consulta de bases de datos .
Veith fue profesor en la Facultad de Informática de la TU Wien y profesor adjunto en la Universidad Carnegie Mellon de Pittsburgh . Anteriormente fue profesor en el Departamento de Informática de la TU Darmstadt (2008-2009) y la TU Munich (2003-2008), y profesor asociado en la TU Wien (2001-2003). Recibió su habilitación en la TU Wien en 2001.
Veith publicó más de 120 publicaciones arbitradas [5] en las áreas de verificación asistida por computadora y análisis de programas , lógica en informática, ingeniería de software, seguridad informática y informática teórica . Fue coeditor del Handbook of Model Checking . [6] En 2014, fue copresidente del Vienna Summer of Logic 2014, la conferencia más grande sobre lógica y informática de la historia.
Veith es más conocido por su papel en el desarrollo de Counterexample-guided Abstraction Refinement (CEGAR), que es un ingrediente clave en los verificadores de modelos modernos para software y hardware. Su investigación aplica métodos formales y lógicos a problemas en tecnología e ingeniería de software, centrándose en la verificación de modelos, la verificación y prueba de software, el software integrado y la seguridad informática.
Veith fue cofundador del Centro de Lógica y Algoritmos de Viena (junto con Stefan Szeider ). [7] Veith fue miembro del comité organizador de la conferencia de lógica más grande de la historia: el Vienna Summer of Logic 2014, que consistió en doce grandes conferencias y numerosos talleres, atrayendo a más de 2000 investigadores de todo el mundo a Viena. Veith se desempeñó como orador del Doctorado en Métodos Lógicos en Ciencias de la Computación financiado por la FWF y como coordinador adjunto de la Red Nacional de Investigación de Ingeniería de Sistemas Rigurosos (RiSE). [8]
Veith recibió su doctorado con la más alta distinción "sub auspiciis praesidentis" en una ceremonia presidida por el presidente de Austria . Junto con sus coautores, recibió el Premio CAV 2015 [9] en honor a las contribuciones de importancia fundamental en el campo de la verificación asistida por computadora por su contribución al desarrollo de CEGAR. Su trabajo en el verificador de modelos de software MAGIC recibió el Premio ACM al artículo distinguido por su contribución al estudio de la verificación de software modular. [10] [11] En 2016, Veith recibió póstumamente una Beca Avanzada ERC sobre el tema Aprovechamiento de la tecnología de verificación de modelos para algoritmos distribuidos .