Helmut Veith

Helmut Veith
Born (1971-02-05)5 February 1971
Vienna, Austria
Died 12 March 2016(2016-03-12) (aged 45)
Vienna, Austria
Citizenship Austria
Fields
Institutions
Alma mater TU Wien
Doctoral advisor Georg Gottlob [2]
Website
forsyte.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]

Education

Veith received his Diplom-Ingenieur in computational logic at TU Wien in 1994. He received his doctorate in computer science in 1998 under the supervision of Professor Georg Gottlob on the topic of computational complexity of logics and database query languages.

Career and research

Veith was a professor at the Faculty of Informatics at TU Wien, and an Adjunct Professor at Carnegie Mellon University, Pittsburgh. Previously he was a professor at TU Darmstadt (2008-2009) and TU Munich (2003-2008), and an associate professor at TU Wien (2001-2003). He received his habilitation at TU Wien in 2001.

Veith published more than 120 refereed publications [5] in the areas of computer-aided verification and program analysis, logic in computer science, software engineering, computer security, and theoretical computer science. He was a co-editor of the forthcoming Handbook of Model Checking.[6] In 2014, he was co-chair of the Vienna Summer of Logic 2014, the largest conference on logic and computer science in history.

Veith is best known for his role in the development of Counterexample-guided Abstraction Refinement (CEGAR) which is a key ingredient in modern model checkers for software and hardware. His research applies formal and logical methods to problems in software technology and engineering, focusing on model checking, software verification and testing, embedded software and computer security.

Awards and honours

Veith was awarded his doctorate in highest distinction "sub auspiciis praesidentis" in a ceremony presided by the president of Austria. With his co-authors, he received the CAV Award 2015 [7] honouring contributions of fundamental importance to the field of computer aided verification for his contribution to the development of CEGAR. His work on the software model checker MAGIC received the ACM Distinguished Paper Award for contribution to the study of verification of modular software.[8] [9] In 2016, Veith was posthumously awarded an ERC Advanced Grant on the topic Harnessing Model Checking Technology for Distributed Algorithms.

References

  1. 1 2 "Helmut Veith". Google Scholar. Google. 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 (CAV) 1855 (2000): 154–169.
  4. http://www.profil.at/wissenschaft/nachruf-helmut-veith-tod-6278790
  5. "Helmut Veith". DBLP. Retrieved 3 April 2016.
  6. Clarke, Edmund; Henzinger, Thomas; Veith, Helmut (10 Sep 2016). Handbook of model checking (2017 ed.). Springer. ISBN 978-3-319-10575-8. Retrieved 3 April 2016.
  7. "CAV Award". International Conference on Computer-Aided Verification. Retrieved 3 April 2016.
  8. "ACM SIGSOFT Distinguished Paper Award". SIGSOFT. Retrieved 3 April 2016.
  9. Chaki, Sagar; Clarke, Edmund; Groce, Alex; Jha, Somesh; Veith, Helmut (June 2004). "Modular Verification of Software Components in C". IEEE Transactions on Software Engineering 30 (6): 388–402. doi:10.1109/TSE.2004.22. Retrieved 3 April 2016.
This article is issued from Wikipedia - version of the Thursday, April 21, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.