Forschungseinheitenprofil

TU-Wien > Institute of Logic and Computation >Faculty of Informatics >Institute of Logic and Computation >Research Unit of Formal Methods in Systems Engineering
E192-04
Research Unit of Formal Methods in Systems Engineering
Leitbild (Deutsch)
Leitbild (Englisch)
Webseite xx

Personen

TitelNachnameVorname
Projektass.in Master DegreeAl-ZubiMai
BScBocevskaIvana
BuhlBeatrix
Univ.Ass. BSc MScChimesMark Jonathan
Projektass. MScCoutelierRobin
Univ.Ass. Dipl.-Ing. BScEisenhoferClemens
Assistant Prof. Dipl.-Ing.in Dr.in techn.FazekasKatalin
B.A. M.A.HacklAndrea
Univ.Ass. Dipl.-Ing. BSc BScHaderThomas
Univ.Ass. Dipl.-Ing. BScHajduMarton
Projektass.(FWF) Dipl.-Ing. BScHetzenbergerMatthias
Projektass.in(FWF) Dipl.-Ing.in Dr.in techn.KaufmannDaniela
Privatdoz. PhDKonnovIgor
BScKüglerChristoff
Univ.Ass. MScNieß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.in BScRainSophie
Projektass. Dipl.-Ing. BScRathJakob
Projektass. PhDRawsonMichael
Univ.Ass. Dr.techn. MScRebola PardoAdrian
Projektass.in MScSallingerSarah Sophie
Projektass.(FWF) Dipl.-Ing. BScSchoisswohlJohannes