Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Forschungseinheitenprofil
TU-Wien
>
Institut für Logic and Computation
>
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.in Master Degree
Al-Zubi
Mai
BSc
Bocevska
Ivana
Buhl
Beatrix
Univ.Prof. PhD
Cerny
Pavol
Univ.Ass. BSc MSc
Chimes
Mark Jonathan
Univ.Ass. MSc
Coutelier
Robin
Projektass. Dipl.-Ing. BSc
Eisenhofer
Clemens
Projektass.in(FWF) Dipl.-Ing.in Dr.in techn.
Fazekas
Katalin
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.(FWF) Dipl.-Ing. BSc
Hetzenberger
Matthias
BSc
Jaud
Alina Mirijam
Projektass.in(FWF) Dipl.-Ing.in Dr.in techn.
Kaufmann
Daniela
Privatdoz. PhD
Konnov
Igor
BSc
Kummer
Julia
BSc
Kügler
Christoff
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.in BSc
Rain
Sophie
Projektass. Dipl.-Ing. BSc
Rath
Jakob
F
P
1
2
N
E