Feb 05, 1971Vienna, AustriaDied on 12 Mar 2016 (aged 45)Aquarius
About Helmut Veith
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.