Forschungsbereich

- Fakultät für Informatik
- Institut für Logic and Computation
Forschungsbereich Formal Methods in Systems Engineering E192-04
Adresse
- Favoritenstraße 9-11, 1040 Wien, Österreich
Telefon
- +43 1 58801 - 184 04
Webseite
- www.forsyte.tuwien.ac.at
Forschung
- Organisationseinheitenprofil

Bereichsleitung:
- Kovacs Laura Univ.Prof.in Dr.in techn. MSc
Sekretariat
sekretariat+E192-04@tuwien.ac.at:
- Buhl Beatrix
Professor_innen:
- Weissenbacher Georg Univ.Prof. Dipl.-Ing. D.Phil.
- Zuleger Florian Associate Prof. Dipl.-Math. Dr.techn.
Wissenschaftliche Mitarbeiter_innen:
- Chimes Mark Jonathan Univ.Ass. BSc MSc
- Coutelier Robin Projektass.(FWF) MSc
- Eisenhofer Clemens Univ.Ass. Dipl.-Ing. BSc
- Fazekas Katalin Assistant Prof. Dipl.-Ing.in Dr.in techn.
- Hader Thomas Univ.Ass. Dipl.-Ing. BSc BSc
- Hajdu Marton Projektass. Dipl.-Ing. BSc
- Hetzenberger Matthias Projektass.(FWF) Dipl.-Ing. BSc
- Kaufmann Daniela Projektass.in(FWF) Dipl.-Ing.in Dr.in techn.
- Pluska Alexander Univ.Ass. MSc
- Rain Sophie Univ.Ass.in Dipl.-Ing.in BSc
- Rebola Pardo Adrian Univ.Ass. Dr.techn. MSc
- Sallinger Sarah Sophie Projektass.in MSc
- Schoisswohl Johannes Projektass.(FWF) Dipl.-Ing. BSc
- Sextl Florian Univ.Ass. MSc
- Varonka Anton Univ.Ass. MSc
- Wagner Eva Maria Projektass.in Dipl.-Ing.in BSc
Allgemeine Bedienstete:
- Nitzschke Matthias
Allgemeine Drittmittel-Bedienstete:
- Hackl Andrea B.A. M.A.
Gastforscher_innen:
- Al-Zubi Mai Gastwissenschaftl. Master Degree
Zugeordnet:
- Konnov Igor Privatdoz. PhD
Karenziert:
- Nießen Tobias Univ.Ass. MSc