Helmut Veith

Helmut Veith
Born(1971-02-05)5 February 1971
Vienna, Austria
Died12 March 2016(2016-03-12) (aged 45)
Vienna, Austria
CitizenshipAustria
Alma materTU Wien
Scientific career
Fields
Institutions
Doctoral advisorGeorg Gottlob[2]
Websiteforsyte.at/people/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.[1][3][4]

  1. ^ a b "Helmut Veith". Google Scholar. Retrieved 3 April 2016.
  2. ^ Helmut Veith at the Mathematics Genealogy Project
  3. ^ Clarke, Edmund; Grumberg, Orna; Jha, Somesh; Lu, Yuan; Veith, Helmut (July 2000). "Counterexample-guided abstraction refinement". Computer Aided Verification. 1855 (2000): 154–169. doi:10.1007/10722167_15.
  4. ^ "Nachruf auf Helmut Veith: Ein unlogischer Tod". 2016-03-21.