Helmut Veith (5 de febrero de 1971 - 12 de marzo de 2016) fue un científico informático austriaco 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]
Helmut Veith | |
---|---|
Nació | Viena , Austria | 5 de febrero de 1971
Fallecido | 12 de marzo de 2016 Viena, Austria | (45 años)
Ciudadanía | Austria |
alma mater | TU Viena |
Carrera científica | |
Campos | |
Instituciones | |
Asesor de doctorado | Georg Gottlob [2] |
Sitio web | forsyte |
Educación
Veith recibió su Diplom-Ingenieur en lógica computacional en TU Wien en 1994. Recibió su doctorado en ciencias de la computación 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 .
Carrera e investigación
Veith fue profesor en la Facultad de Informática de TU Wien y profesor adjunto en la Universidad Carnegie Mellon , Pittsburgh . Anteriormente fue profesor en el Departamento de Ciencias de la Computación de TU Darmstadt (2008-2009) y TU Munich (2003-2008), y profesor asociado en TU Wien (2001-2003). Recibió su habilitación en 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 e informática teórica . Fue coeditor del Handbook of Model Checking. [6] En 2014, fue copresidente del Summer of Logic de Viena 2014, la conferencia más grande sobre lógica e informática de la historia.
Veith es mejor conocido por su papel en el desarrollo de Refinamiento de abstracción guiado por contraejemplos (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, enfocándose en la verificación de modelos, verificación y prueba de software, software integrado y seguridad informática.
Comunicación científica
Veith fue cofundador del Centro de Lógica y Algoritmos de Viena (junto con Stefan Szeider ). [7] Veith fue miembro de la junta organizativa de la conferencia de lógica más grande de la historia, el Summer of Logic de Viena 2014, que consistió en doce grandes conferencias y numerosos talleres, que atrajeron a más de 2000 investigadores de todo el mundo a Viena. Veith se desempeñó como orador del FWF, que financió el Doctoral College Logical Methods in Computer Science, y como coordinador adjunto de la Red Nacional de Investigación en Ingeniería de Sistemas Rigurosos (RiSE). [8]
Premios y honores
Veith obtuvo 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 contribuciones de fundamental importancia 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 Distinguished Paper Award por su contribución al estudio de verificación de software modular. [10] [11] En 2016, Veith recibió póstumamente una Beca Avanzada de ERC sobre el tema Aprovechamiento de la tecnología de verificación de modelos para algoritmos distribuidos .
Referencias
- ^ a b "Helmut Veith" . Google Scholar . Consultado el 3 de abril de 2016 .
- ^ Helmut Veith en el Proyecto de genealogía matemática
- ^ Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut (julio de 2000). "Refinamiento de abstracción guiado por contraejemplos" . Verificación asistida por computadora . 1855 (2000): 154–169. doi : 10.1007 / 10722167_15 .
- ^ "Nachruf auf Helmut Veith: Ein unlogischer Tod" . 2016-03-21.
- ^ "Helmut Veith" . DBLP . Consultado el 3 de abril de 2016 .
- ^ Clarke, Edmund; Henzinger, Thomas; Veith, Helmut (10 de septiembre de 2016). Manual de verificación de modelos (ed. 2017). Saltador. ISBN 978-3-319-10575-8. Consultado el 3 de abril de 2016 .
- ^ "Zentrum für Grundlagen der Informatik - derStandard.at" . ESTÁNDAR DER (en alemán) . Consultado el 26 de noviembre de 2019 .
- ^ "Helmut Veith: 1971 - 2016" . www.tuwien.at . 2019-11-25 . Consultado el 26 de noviembre de 2019 .
- ^ "Premio CAV" . Conferencia internacional sobre verificación asistida por computadora . Consultado el 3 de abril de 2016 .
- ^ "Premio al trabajo distinguido ACM SIGSOFT" . SIGSOFT . Consultado el 3 de abril de 2016 .
- ^ Chaki, Sagar; Clarke, Edmund; Groce, Alex; Jha, Somesh; Veith, Helmut (junio de 2004). "Verificación modular de componentes de software en C". Transacciones IEEE sobre ingeniería de software . 30 (6): 388–402. CiteSeerX 10.1.1.5.9973 . doi : 10.1109 / TSE.2004.22 .