Helmut Veith
From Wikipedia, the free encyclopedia
Helmut Veith | |
|---|---|
| Born | 5 February 1971 Vienna, Austria |
| Died | 12 March 2016 (aged 45) Vienna, Austria |
| Citizenship | Austria |
| Alma mater | TU Wien |
| Scientific career | |
| Fields | |
| Institutions | |
| Doctoral advisor | Georg Gottlob[2] |
| Website | forsyte |
Helmut Veith (5 February 1971 – 12 March 2016) was an Austrian computer scientist who worked on the areas of computer-aided verification, software engineering, computer security, and logic in computer science. He was a Professor of Informatics at the Vienna University of Technology (TU Wien), Austria.[1][3][4]
Veith received his Diplom-Ingenieur in computational logic at TU Wien in 1994. He received his doctorate in computer science in 1998 under the supervision of Professor Georg Gottlob on the topic of computational complexity of logics and database query languages.
Career and research
Veith was a professor at the Faculty of Informatics of TU Wien, and an adjunct professor at Carnegie Mellon University, Pittsburgh. Previously he was a professor at the Department of Computer Science of TU Darmstadt (2008–2009) and TU Munich (2003–2008), and an associate professor at TU Wien (2001–2003). He received his habilitation at TU Wien in 2001.
Veith published more than 120 refereed publications [5] in the areas of computer-aided verification and program analysis, logic in computer science, software engineering, computer security, and theoretical computer science. He was a co-editor of the Handbook of Model Checking.[6] In 2014, he was co-chair of the Vienna Summer of Logic 2014, the largest conference on logic and computer science in history.
Veith is best known for his role in the development of Counterexample-guided Abstraction Refinement (CEGAR), which is a key ingredient in modern model checkers for software and hardware. His research applies formal and logical methods to problems in software technology and engineering, focusing on model checking, software verification and testing, embedded software and computer security.
