Informatik, TU Wien

Offizieller Start des nationalen Forschungsnetzwerks RiSE

Österreichweite Zusammenarbeit der führenden WissenschafterInnen auf dem Gebiet der logischen Überprüfung von Computersystemen.

An dem vom Fonds zur Förderung der wissenschaftlichen Forschung (FWF) geförderten nationalen Forschungsnetzwerk (NFN) sind neben der Fakultät für Informatik der TU Wien, das IST Austria, die TU Graz sowie die Universitäten Linz und Salzburg beteiligt. Vier der neun Teilprojekte werden von WissenschafterInnen der Fakultät für Informatik geleitet.

Mehr über den offiziellen Start unter http://www.tuwien.ac.at/aktuelles.