Helmut Veith
About
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. He was a Professor of Informatics
at the Vienna University of Technology, Austria.