Helmut Veith 1971-2016

Accompanying the rebirth of the Austrian logic scene 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. 

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. Helmut studied Computational Logic at TU Wien, a studium irregulare with a curriculum he designed himself, together with Richard Zach. 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’s passion for logic led him to establish not only the Vienna Center for Logic and Algorithms with Stefan Szeider, but also to bring the largest logic conference in history to Austria – the Vienna Summer of Logic. Helmut served as the speaker of the Doctoral College Logical Methods in Computer Science and as the deputy coordinator of the National Research Network Rigorous
Systems Engineering (RiSE).

Posthumously, Helmut was awarded the ERC Advanced Grant – one of the highest academic distinctions in Europe – for his project HYDRA (Har-nessing Model Checking for Distributed Algorithms).

In honor of Helmut´s advocacy for women in computer science, the TU Wien, the Wolfgang Pauli Institute, and Helmut´s friends and colleagues fund the Helmut Veith Stipend for Female Master´s Students.

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 in Computer Science

FWF-Funded Doctoral College at TU Wien


LogicLounge, symposium for scientists and general public.

Attracted more than 2000 scientists to Vienna.



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

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