Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Forschungseinheitenprofil
TU-Wien
>
Fakultät für Informatik
>
Institut für Logic and Computation
>
Forschungsbereich Formal Methods in Systems Engineering
E192-04
Forschungsbereich Formal Methods in Systems Engineering
Leitung
Univ.Prof.in Dr.in techn. MSc Laura Kovacs
Übersicht
Leitbild (Deutsch)
..
Leitbild (Englisch)
..
Webseite
xx
Personen
Titel
Nachname
Vorname
Projektass.(FWF) PhD
Aminof
Benjamin
ARätin
Auerböck
Juliane
BSc
Brugger
Lea Salome
Buhl
Beatrix
Univ.Prof. PhD
Cerny
Pavol
Projektass.in
Denisova
Olha
BSc
Eisenhofer
Clemens
Projektass.in(FWF) Dipl.-Ing. Dr.in techn.
Fazekas
Katalin
Projektass.in(FWF) Dipl.-Ing. BSc
Georgiou
Pamina
Univ.Ass. Dipl.-Ing. BSc BSc
Hader
Thomas
Univ.Ass. Dipl.-Ing. BSc
Hajdu
Marton
BSc
Hetzenberger
Matthias
Projektass.in Mgr.
Hozzova
Petra
Projektass. PhD
Kenison
George James
Privatdoz. PhD
Konnov
Igor
Univ.Ass. Dipl.-Ing. BSc BA (Hons)
Moosbrugger
Marcel
BSc
Müllner
Julian
Nitzschke
Matthias
Projektass.in Dr.in
Petkovic Komel
Anja
Projektass.in(FWF) Mag.a Dr.in
Prianichnikova
Anna
Univ.Ass.in Dipl.-Ing. BSc
Rain
Sophie
Projektass. Dipl.-Ing. BSc
Rath
Jakob
Projektass. PhD
Rawson
Michael
Univ.Ass. Dr.techn. MSc
Rebola Pardo
Adrian
Univ.Ass.in MSc
Sallinger
Sarah Sophie
F
P
1
2
N
E