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.