The annually awarded Helmut Veith Stipend for outstanding female master's students 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 – Professor Helmut Veith (1971-2016).
Eligibility
Applicants must be eligible for admission to one of the master’s programs in computer science at the Vienna University of Technology - TU Wien that are taught in English. Currently these are:
-Master in Logic and Computation
-Master in Business Informatics
-Master in Computer Engineering (Technische Informatik)
-Master in Data Science
-Master in Media and Human-Centered Computing
Applicants should have a solid mathematical and technical knowledge and interest in (at least one of) Helmut Veith's areas of research:
-Logic in Computer Science
-Formal Methods and Verification
-Foundations of Artificial Intelligence
-Algorithms and Complexity Theory
-Computer Security