13 Facts About Helmut Veith

Helmut Veith was an Austrian computer scientist who worked on the areas of computer-aided verification, software engineering, computer security, and logic in computer science.

Helmut Veith was a Professor of Informatics at the Vienna University of Technology, Austria.

Helmut Veith 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.

Helmut Veith was a professor at the Faculty of Informatics of TU Wien, and an adjunct professor at Carnegie Mellon University, Pittsburgh.

Helmut Veith received his habilitation at TU Wien in 2001.

Helmut Veith published more than 120 refereed publications in the areas of computer-aided verification and program analysis, logic in computer science, software engineering, computer security, and theoretical computer science.

Helmut Veith was a co-editor of the Handbook of Model Checking.

Helmut Veith is best known for his role in the development of Counterexample-guided Abstraction Refinement, which is a key ingredient in modern model checkers for software and hardware.

Helmut Veith's 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.

Helmut Veith was a co-founder of the Vienna Center for Logic and Algorithms.

Helmut Veith served as the speaker of the FWF-funded Doctoral College on Logical Methods in Computer Science and as the deputy coordinator of the National Research Network Rigorous Systems Engineering.

Helmut Veith was awarded his doctorate with highest distinction "sub auspiciis praesidentis" in a ceremony presided over by the president of Austria.

In 2016, Helmut Veith was posthumously awarded an ERC Advanced Grant on the topic Harnessing Model Checking Technology for Distributed Algorithms.