Helmut Veith Stipend

The Helmut Veith Stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. Helmut Veith, who tragically passed away in March 2016, was a strong advocate and mentor for women in computer science.

In honor of Helmut Veith’s efforts, a stipend for outstanding female students in computer science was established with the support of TU Wien, the Wolfgang Pauli Institute, and generous donations of friends and colleagues of Prof. Veith. Students who are awarded a scholarship receive EUR 6000 annually (paid in installments), and tuition fees are waived.

Eligibility

The eligibility criteria are listed in full here

Application

Students are required to submit the following documents listed here.

The annual application deadline is November 30.

For inquires and more information send an email to master@logic-cs.at

Funding bodies

Recipients

Daniela Martinez Duarte is the 4th recipient of the Helmut Veith Stipend

 

The fourth recipient of the Helmut Veith Stipend for excellent female master’s students in computer science is Daniela Martinez Duarte.

Daniela Martinez Duarte graduated in 2019, with an award for academic excellence recognizing her outstanding score at the Colombian State Examination of the Quality of Higher Education (Saber pro). In 2016 she received a scholarship by the DAAD for an exchange semester at the Karlsruhe Institute of Technology (KIT) and for a subsequent internship. She participated and took the 4th place in the group competition for the generation of open-data-based solutions to “citizen security” challenges organized by the U.S. Agency for International Development.

 

Vice-Rector for Academic Affairs Kurt Matyas, Rector of TU Wien Sabine Seidler, the recipient Viktoriia Korchemna, and the director of Wolfgang Pauli Institute Norbert J. Mauser

 

The third recipient of the Helmut Veith Stipend for excellent female master’s students in computer science is Viktoriia Korchemna.

The rector of TU Wien, Sabine Seidler, presented the 2018 Helmut Veith Stipend at an award ceremony moderated by Laura Kovacs, collocated with the symposium Humans & Machines, on October 29, 2019.  Viktoriia Korchemna holds a Bachelor’s degree in Mathematics from Taras Shevchenko National University, Kyiv, Ukraine. Since October 2019 she is pursuing the master’s program Logic & Computation at TU Wien.

More information on the award ceremony here.

 

Recipient Hanna Lachnitt and the Vice Rector for Academic Affairs of TU Wien Kurt Matyas.

 

The second recipient of the Helmut Veith Stipend for excellent female master’s students in computer science is Hanna Elif Lachnitt.

Hanna Lachnitt was presented with the Helmut Veith Stipend by the Vice-Rector for Academic Affairs of TU Wien Kurt Matyas at the award ceremony on Friday, April 06, 2018. Hanna Lachnitt holds a Bachelor’s degree in Computer Science from the Freie Universität Berlin. Since March 2018 she has been pursuing Master in Logic and Computation.

More information on the award ceremony here.

(press coverage in DiePresse.at)

(press coverage in DerStandard, Forschung Spezial, from 12.9.2018)

Recipient Marielle Rietdijk and the Vice Rector for Academic Affairs of TU Wien Kurt Matyas (photo credits: Christian Lendl)

 

The first recipient of the Helmut Veith Stipend for excellent female master’s students in computer science is Mariëlle Rietdijk. The award was presented to her on March 14, 2017 at the following event:

“More female students in computer science. Who cares?”
Panel discussion with renowned scientists about diversity in STEM Studies
March 14, 5:30pm, TU Wien

The first recipient of the Helmut Veith Stipend, Marielle Rietdijk, came to Vienna from the Netherlands. She holds a bachelor’s degrees in Artificial Intelligence from Utrecht University and pursues a European Master’s degree in Computational Logic at TU Wien. Marielle currently works on program synthesis using proof theory, a topic that Helmut Veith was very excited about.

More information on the award ceremony here.

(press coverage in DerStandard.at)

The Award Certificate for the Helmut Veith Stipend designed by Nikita Veith and Merlin Zalodek.

Latest News

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive