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
AmrollahiDaneshvar
ARätin Auerböck Juliane
BuhlBeatrix
Univ.Prof. PhDCernyPavol
BScEisenhoferClemens
Projektass.(FWF) Dipl.-Ing. Dr.techn.FazekasKatalin
Projektass.(FWF) Dipl.-Ing. BScGeorgiouPamina
Univ.Ass. Dipl.-Ing. BScHajduMarton
HetzenbergerMatthias
Projektass.(FWF) Mgr.HozzovaPetra
Projektass. PhDKenisonGeorge James
Privatdoz. PhDKonnovIgor
Projektass.(FWF) Dipl.-Ing. BScMarinkovicVedran
Univ.Ass. Dipl.-Ing. BSc BA (Hons)MoosbruggerMarcel
BScMüllnerJulian
Nitzschke Matthias
Projektass.(FWF) Mag. Dr. Prianichnikova Anna
Univ.Ass. Dipl.-Ing. BScRainSophie
Projektass.(FWF) Dipl.-Ing. BScRathJakob
Projektass. PhDRawsonMichael
Projektass. MScRebola PardoAdrian
Univ.Ass. MScSallingerSarah Sophie
Projektass. Dipl.-Ing. BScTranThanh Hai
M.A.TraxlerAlexandra