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.