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

Personen

TitelNachnameVorname
Projektass.in Master DegreeAl-ZubiMai
AmrollahiDaneshvar
BuhlBeatrix
Univ.Prof. PhDCernyPavol
Univ.Ass. BSc MScChimesMark Jonathan
Projektass. Dipl.-Ing. BScEisenhoferClemens
Projektass.in(FWF) Dipl.-Ing. Dr.in techn.FazekasKatalin
Projektass.in Dipl.-Ing. BScGeorgiouPamina
B.A. M.A.HacklAndrea
Univ.Ass. Dipl.-Ing. BSc BScHaderThomas
Univ.Ass. Dipl.-Ing. BScHajduMarton
Univ.Ass. MScHamadaIslam
Projektass.in Mgr.HozzovaPetra
Projektass.in Dipl.-Ing. Dr.in techn.KaufmannDaniela
Projektass. PhDKenisonGeorge James
Privatdoz. PhDKonnovIgor
Univ.Ass. Dipl.-Ing. BSc BA (Hons)MoosbruggerMarcel
BScMüllnerJulian
Univ.Ass.NießenTobias
Nitzschke Matthias
Projektass.in Dr.inPetkovic KomelAnja
Univ.Ass. MScPluskaAlexander
Projektass.in(FWF) Mag.a Dr.in Prianichnikova Anna
Univ.Ass.in Dipl.-Ing. BScRainSophie
Projektass. Dipl.-Ing. BScRathJakob