IN MEMORIAM

Helmut Veith 1971-2016

It is with the deepest sadness that we announce Helmut Veith’s passing on March 12, 2016. Helmut was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a generous friend, and a wonderful father and husband. He leaves a void that will be impossible to fill. Our thoughts are with his family and friends.

Helmut Veith was a professor at the Faculty of Informatics of Technische Universität Wien, TU Wien (Vienna University of Technology), and an adjunct professor at Carnegie Mellon University. He received a diploma in Computational Logic and a PhD sub auspiciis praesidentis in Computer Science, both from TU Wien. Prior to his appointment to Vienna, he was holding professor positions at TU Darmstadt and TU Munich.

Helmut Veith´s sudden passing on March 12, 2016 has left a void that will be impossible to fill. He was a brilliant researcher, an inspiring collaborator, a stimulating teacher, a generous friend, and a wonderful father and husband.

His great polymathic mind interested in application of formal and logical methods to problems in software technology and engineering, resonates in his legacy.
 
Accompanying the rebirth of the Austrian logic scene (Vienna Summer of Logic), his marking of the field, space and time is further on augmented by the students who he mentored, and by his visionary activities of building bridges between the computer science expert and the layman (LogicLounge).
 
Another piece of Veith´s legacy, beside Vienna Center for Logic and Algorithms, is the Helmut Veith Stipend for Female Master´s Students at TU Wien, Austria. Its mission is to honour the legacy of Helmut Veith in serving the field of Computer science at TU Wien and the society at large by identifying, and supporting the female talents who possess the curiosity in the research fields of the late scholar.

Obituaries remembering Helmut

Funeral speech by Georg Gottlob

Obituary by Thomas Eiter: German and English

Obituary by Richard Zach (English)

Obituary by Oliver Lehmann (English)

Obituary by Florian Aigner (German)

Obituary by the students of the Doctoral College Logical Methods in Computer Science (English)

Commemorative booklet (Russian-English)

Personal statement by Dana Scott about Helmut (video recording, starting at 48:40)

If you have photos of Helmut (or him together with his friends) which you would like to share with others, please send them to Mihaela Rozman (ta.alcvnull@eciffo).*

Helmut Veith Stipend for Female Master´s Students

In memory of Helmut, a stipend to support promising students was instituted. We are asking for contributions.
Contributions to the Helmut Veith Stipend can be made to

  • “Zentrum für Informatikforschung”, IBAN: AT36 1200 0515 8258 2701, BIC: BKAUATWW, reference: “Helmut Veith Stipend”
  • or by credit card via PayPal

Helmut Veith´s Legacy

Under construction

Helmut Veith Stipend for female master´s students at TU Wien.

Funded PhD in Computer Science at TU Wien.

 

LogicLounge, symposium for scientists and general public.

Attracted more than 2000 scientists to Vienna.

 

 

*Katarina Singer has said goodbye to Vienna Center for Logic and Algorithms, TU Wien.

*The page is under construction. Some information may still be missing.