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
Leitbild (Deutsch)
Leitbild (Englisch)
Webseite xx

Personen

TitelNachnameVorname
Projektass.(FWF) PhDAminofBenjamin
ARätin Auerböck Juliane
BuhlBeatrix
Univ.Prof. PhDCernyPavol
B.A.Di CristoElisa
Projektass.(FWF) Dipl.-Ing. BScGeorgiouPamina
Projektass. Dipl.-Ing. BScGleissBernhard
Projektass. Mgr.HozzovaPetra
Projektass. Dipl.-Ing. BScHumenbergerAndreas
Projektass.(FWF) Dr.techn.JaroschekMaximilian
Projektass.(FWF) mag. mat.KukovecJure
Projektass.(FWF) MSc Labai Nadia
BScLachnittHanna Elif
Projektass.(FWF) MScLangTimo Achim
Projektass.(FWF) Dipl.-Ing. BScMarinkovicVedran
BSc BA (Hons)MoosbruggerMarcel
Projektass. Dipl.-Ing. BScPaniThomas
ARat Pisjak Anton
Projektass.(FWF) Mag. Dr. Prianichnikova Anna
Projektass. Dipl.-Ing. BScRathJakob
Projektass. MScRebola PardoAdrian
M.A.RozmanMihaela
Univ.Ass. MScSallingerSarah Sophie
Projektass. Dipl.-Ing. BSc Schlaipfer Matthias
Projektass.(FWF) BScStankovicMiroslav