Um hochmoderne Technologie geht es bei den beiden Forschungsprojekten an der TU Wien, die nun mit ERC-Grants ausgezeichnet wurden: Daniela Kafmann entwickelt Tools, mit denen sich die Korrektheit digitaler Systeme beweisen lässt, Jiří Pavelec entwickelt einen Roboter, der die nötigen Daten für die Entwicklung neuer Katalysatoren sammeln wird.

Die ERC Starting Grants gehören zu den renommiertesten Forschungsförderungen Europas. Sie werden vom European Research Council (ERC) an junge Wissenschaftlerinnen und Wissenschaftler vergeben, die schon wenige Jahre nach Abschluss ihrer Dissertation mit herausragenden Leistungen auf sich aufmerksam gemacht haben und eine Projektidee vorschlagen, die Forschung auf internationalem Spitzenniveau verspricht.

Daniela Kaufmann: Trau keinem Computer ohne Prüfung!

Wie kann man beweisen, dass ein Computerchip immer die richtige Antwort liefert? Die Informatikerin Daniela Kaufmann löst dieses Problem mit neuen mathematischen Ansätzen.

Jiří Pavelec: Ein Roboter bringt Computern bei, bessere Katalysatoren zu finden

Wie kann man bessere Katalysatoren für die Industrie entwickeln? Jiří Pavelec will einen autonomen Roboter bauen, der die dafür nötigen Daten sammelt – im Ultrahochvakuum und mit Präzision auf atomarer Ebene.

Rückfragehinweise

Dr. Daniela Kaufmann
Institut für Logic and Computation
Technische Universität Wien
daniela.kaufmann@tuwien.ac.at

Dr. Jiří Pavelec
Institut für Angewandte Physik
Technische Universität Wien
+43 1 58801 13479
jiri.pavelec@tuwien.ac.at

Aussender:
Dr. Florian Aigner
PR und Marketing
Technische Universität Wien
+43 664 60588 4127
florian.aigner@tuwien.ac.at