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
Gastwissenschaftl. Master Degree
Al-Zubi
Mai
Buhl
Beatrix
Univ.Ass. BSc MSc
Chimes
Mark Jonathan
Projektass. MSc
Coutelier
Robin
Univ.Ass. Dipl.-Ing. BSc
Eisenhofer
Clemens
Assistant Prof. Dipl.-Ing.in Dr.in techn.
Fazekas
Katalin
B.A. M.A.
Hackl
Andrea
Univ.Ass. Dipl.-Ing. BSc BSc
Hader
Thomas
Projektass. Dipl.-Ing. BSc
Hajdu
Marton
Projektass.(FWF) Dipl.-Ing. BSc
Hetzenberger
Matthias
Projektass.in(FWF) Dipl.-Ing.in Dr.in techn.
Kaufmann
Daniela
Privatdoz. PhD
Konnov
Igor
Univ.Ass. MSc
Nießen
Tobias
Nitzschke
Matthias
Univ.Ass. MSc
Pluska
Alexander
Univ.Ass.in Dipl.-Ing.in BSc
Rain
Sophie
Univ.Ass. Dr.techn. MSc
Rebola Pardo
Adrian
Projektass.in MSc
Sallinger
Sarah Sophie
Projektass.(FWF) Dipl.-Ing. BSc
Schoisswohl
Johannes
Univ.Ass. MSc
Sextl
Florian
Univ.Ass. MSc
Varonka
Anton
Projektass.in Dipl.-Ing.in BSc
Wagner
Eva Maria
Univ.Prof. Dipl.-Ing. D.Phil.
Weissenbacher
Georg
Associate Prof. Dipl.-Math. Dr.techn.
Zuleger
Florian
F
P
1
N
E