Helmut-Veith-Preis für Hanna Lachnitt

Nachwuchs-Informatikerin ausgezeichnet

Bild: TU Wien
Preisträgerin Hanna Lachnitt und Prof. Kurt Matyas (Vizerektor für Studium und Lehre)
Bild: TU Wien

Hanna Lachnitt wurde mit dem Helmut-Veith-Preis der TU Wien und des Wolfgang Pauli Institutes ausgezeichnet. Mit dem Preis werden jährlich herausragende Studentinnen in der Informatik gefördert.

Zum zweiten Mal wurde an der TU Wien der Helmut-Veith-Preis verliehen. Die Auszeichnung ist mit einem Stipendium für ein Masterstudium verbunden, das mit 6.000 Euro pro Jahr dotiert ist. Der Preis geht an Frauen, die im Studium der Computerwissenschaften herausragende Leistungen erbracht haben. Die diesjährige Preisträgerin ist Hanna Lachnitt aus Deutschland.

Im Gedenken an Prof. Helmut Veith

Die Idee zu einem Förderpreis stammt aus dem Umfeld des TU-Informatikers Helmut Veith, der 2016 im Alter von nur 45 Jahren verstorben ist. Mit Unterstützung der TU Wien, des Wolfgang Pauli Institutes, des Vienna Center for Logic and Algorithms und durch Spenden aus dem Freundeskreis von Helmut Veith werden nun Informatikstudentinnen gefördert, die sich für die Forschungsgebiete Veiths interessieren und mithelfen, die Informatik stärker in der Gesellschaft zu verankern. Studentinnen, die sich mit Helmut Veiths Forschungsgebieten beschäftigen, soll damit ein Masterstudium an der TU Wien ermöglicht werden. Im Vorjahr war als erste Helmut-Veith-Stipendiatin die Niederländerin Mariëlle Rietdijk ausgezeichnet.

"Helmut hat immer wieder betont, dass eine Förderung von Frauen besonders am Anfang ihrer akademischen Karriere wichtig ist. Das Helmut Veith Stipendium wurde ins Leben gerufen, um genau das zu erreichen." betont Georg Weissenbacher, assoziierter Professor an TU Wien.

Hanna Lachnitt schloss ihr Bachelor-Studium in Informatik an der Freien Universität Berlin mit Auszeichnung ab. Sie verfasste ihre Bachelorarbeit zur Verifikation der intuitionistischen Modallogik, die mit Helmut Veiths bahnbrechenden Arbeiten zur Temporallogik und Verifikation in Zusammenhang steht. Darüber hinaus verbrachte sie ein Semester an der Universität Bath in Großbritannien als Erasmus-Studentin. Hanna Lachnitt interessiert sich besonders für Logik und theoretische Informatik, sowie für Programmiersprachen und Verifikation. Nach Abschluss ihres Master-Studiums möchte sie ihre wissenschaftliche Karriere mit einer Dissertation fortsetzen.

Die Preisträgerin wird an der Fakultät für Informatik auch die Gelegenheit bekommen, ihre Erfahrungen aus Berlin, wo sie Deutschunterricht für geflüchtete Jugendliche und Erwachsene gegeben hat, bei dem Projekt Welcome.TU.code der Fakultät für Informatik der TU Wien einzubringen. Hanna Lachnitt wird auch in Wien Sprachunterricht geben – diesmal geht es allerdings um Programmiersprachen.  
 

Logik und die Gesellschaft

Mit dem Helmut Veith Stipendium möchte die Fakultät für Informatik auch Helmut Veiths Erbe in Erinnerung rufen. Helmut Veith hatte maßgeblichen Anteil daran, Österreich – und speziell Wien – zu einem internationalen Hotspot im Bereich Logik und Verifikation zu machen.
    
Das gelang ihm einerseits durch aufsehenerregende Forschungserfolge und dem Aufbau eines neuen, großen und starken Forschungsbereichs FORSYTE (Formal Methods in Systems Engineering) an der TU Wien, andererseits auch etwa durch seine Freude, moderne und innovative Projekte ins Leben zu rufen, sowie durch die aktive Einbindung der Medien, um die Aufmerksamkeit und das Interesse der Öffentlichkeit an der Wissenschaft zu wecken.

Zu den von ihm angeregten bzw. mitgegründeten Projekten zählt etwa das österreichweite Forschungsnetz ARISE im Bereich der Computer-Aided Verification oder auch das Netzwerktreffen des Vereins Informatik Austria sowie der Austrian Computer Science Day.

An der TU Wien hat Helmut Veith das FWF Doktoratskolleg "LogiCS" für mathematische Logik in der Informatik initiiert, ebenso das Programm "Master in Logic and Computation".

Weitere von Helmut Veith angeregte Projekte sind das Vienna Center of Logic and Algorithms (VCLA), eine Plattform für die Förderung der internationalen Forschung und Zusammenarbeit im Bereich Logik und Algorithmen und der Vienna Summer of Logic, der 2014 in Wien stattfand und bis jetzt weltweit größte Konferenz zu diesem Thema ist.

Mehr Artikel zum Thema: Karriere Forschung IT-Women

LCM: Geburtshelfer für innovative Ideen

Die klugen Köpfe der Linz Center of Mechatronics GmbH...

Weiterlesen

Sandra Kolleth verlässt Xerox

Nach 23 Jahren im Unternehmen verlässt Sandra Kolleth das...

Weiterlesen

Vom Smart Grid zu Industrie 4.0

Eine wesentliche Komponente auf dem Weg zur Energiewende ist...

Weiterlesen

Probelauf für die flexible Energiezukunft

Ein von AIT koordiniertes Konsortium entwickelt Lösungen für...

Weiterlesen

Kicker - La Pedalina geht zu CA Technologies

Gernot Kicker - La Pedalina verstärkt seit April als Channel...

Weiterlesen

Wo sind die IT-Fachkräfte?

Hohe Gehälter und verlockende Benefits sind schön. Aber das...

Weiterlesen

SentinelOne: Canisius kümmert sich um DACH

Endgerätesicherheits-Spezialist SentinelOne erweitert sein...

Weiterlesen

Robert Berger neu bei Interxion

Robert Berger ist ab sofort Manager Operations bei Interxion...

Weiterlesen

Zentraler AIT-Forschungsstandort in Wien

Mit der Eröffnung des vor kurzem fertiggestellten neuen...

Weiterlesen

UBIT: Uni-Pläne von Innenminister fatales Signal

"Eine weitere Abschottung der Universitäten, wie sie...

Weiterlesen

"Das ist ein Wahnsinn"

"Wir brauchen drei bis sechs Monate, um gute Leute auf...

Weiterlesen

Die besten IT-Manager Österreichs

Kürzlich wurde von Confare wieder der CIO AWARD vergeben,...

Weiterlesen

Takuya Marubayashi neuer KYOCERA-Präsident

KYOCERA Document Solutions hat seit 1. April mit Takuya...

Weiterlesen

Graf neuer Co-Geschäftsführer von Datenpol

Gregor Graf ist seit Ende März neben Stefan Wailand der neue...

Weiterlesen

Netzwerklösungen mit ein bisschen "Exotik"

Seit 19. Februar, also seit nicht ganz zwei Monaten,...

Weiterlesen

Programmierkurse für sozial benachteiligte Kinder

Ab April 2018 werden 25 Stipendien für Programmierkurse...

Weiterlesen

Alexandra Kittinger neu bei Commvault

Commvault verstärkt sein Marketing in Österreich und der...

Weiterlesen

weXelerate mit neuer, weiblicher Geschäftsführung

Das Innovations- und Startupzentrum weXelerate betraut...

Weiterlesen

ESET: Suhl neuer Country Manager DACH

Holger Suhl übernimmt ab sofort die Position des Country...

Weiterlesen

Erwachsenenbildung in Österreich: Diese Möglichkeiten gibt es

Ob aus Eigenmotivation oder über den Arbeitgeber im Beruf:...

Weiterlesen