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

Personen

TitelNachnameVorname
BeliaevaTatiana
BuhlBeatrix
Univ.Ass. BSc MScChimesMark Jonathan
Projektass.(FWF) 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
Projektass. Dipl.-Ing. Dr.techn. BScHajduMarton
Projektass.(FWF) Dipl.-Ing. BScHetzenbergerMatthias
Projektass.in(FWF) Dipl.-Ing.in Dr.in techn.KaufmannDaniela
Privatdoz. PhDKonnovIgor
Projektass.(FWF) Master DegreeMoeini JamMehran
Univ.Ass. MScNießenTobias
Nitzschke Matthias
Univ.Ass. MScPluskaAlexander
Projektass. Dipl.-Ing. BSc BSc PhDPolaczekAxel
Univ.Ass. Dr.techn. MScRebola PardoAdrian
Projektass.in MScSallingerSarah Sophie
Projektass.(FWF) Dipl.-Ing. BScSchoisswohlJohannes
Univ.Ass. MScSextlFlorian
Univ.Ass. MScVaronkaAnton
Univ.Ass. Dipl.-Ing.in BScWagnerEva Maria
Univ.Prof. Dipl.-Ing. D.Phil. Weissenbacher Georg
Projektass.(FWF) Dipl.-Ing. BScWinklerLorenz