Helmut Veith
Austrian computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Helmut Veith?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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]
Quick Facts Born, Died ...
Helmut Veith | |
---|---|
Born | (1971-02-05)5 February 1971 Vienna, Austria |
Died | 12 March 2016(2016-03-12) (aged 45) Vienna, Austria |
Citizenship | Austria |
Alma mater | TU Wien |
Scientific career | |
Fields | |
Institutions | |
Doctoral advisor | Georg Gottlob[2] |
Website | forsyte |
Close