Helmut Veith posthum ausgezeichnet
Er hätte einen hochdotierten ERC Advanced Grant bekommen - leider hat Helmut Veith diesen Erfolg nicht mehr erlebt. ERC Advanced Grants gehören zweifellos zu den prestigeträchtigsten und höchstdotierten Forschungspreisen, die in Europa vergeben werden. Diese Auszeichnung wäre Prof. Helmut Veith bei der aktuellen Vergabe von ERC-Grants zuteil geworden. Leider kann er sich über diesen Grant nicht mehr freuen: Helmut Veith verstarb am 12. März 2016 im 46. Lebensjahr. Nachdem ERC-Grants personenbezogen vergeben werden, kann Helmut Veiths Projekt nicht umgesetzt werden. Trotzdem wird Helmut Veiths Forschungsrichtung - die Arbeit an Verifikationsmethoden für Computerprogramme - von seinen Kolleginnen und Kollegen weitergetragen.
