Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Forschungseinheitenprofil
TU-Wien
>
Institut für Logic and Computation
>
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.in Master Degree
Al-Zubi
Mai
Amrollahi
Daneshvar
Buhl
Beatrix
Univ.Prof. PhD
Cerny
Pavol
Univ.Ass. BSc MSc
Chimes
Mark Jonathan
Projektass. Dipl.-Ing. BSc
Eisenhofer
Clemens
Projektass.in(FWF) Dipl.-Ing. Dr.in techn.
Fazekas
Katalin
Projektass.in Dipl.-Ing. BSc
Georgiou
Pamina
B.A. M.A.
Hackl
Andrea
Univ.Ass. Dipl.-Ing. BSc BSc
Hader
Thomas
Univ.Ass. Dipl.-Ing. BSc
Hajdu
Marton
Univ.Ass. MSc
Hamada
Islam
Projektass.in Mgr.
Hozzova
Petra
Projektass.in Dipl.-Ing. Dr.in techn.
Kaufmann
Daniela
Projektass. PhD
Kenison
George James
Privatdoz. PhD
Konnov
Igor
Univ.Ass. Dipl.-Ing. BSc BA (Hons)
Moosbrugger
Marcel
BSc
Müllner
Julian
Univ.Ass.
Nießen
Tobias
Nitzschke
Matthias
Projektass.in Dr.in
Petkovic Komel
Anja
Univ.Ass. MSc
Pluska
Alexander
Projektass.in(FWF) Mag.a Dr.in
Prianichnikova
Anna
Univ.Ass.in Dipl.-Ing. BSc
Rain
Sophie
Projektass. Dipl.-Ing. BSc
Rath
Jakob
F
P
1
2
N
E