Forschungseinheitenprofil

TU-Wien > Doctoral Center >Vizerektorat Lehre >Doctoral Center >Fachbereich Automated Reasoning
E056-26
Fachbereich Automated Reasoning
Leitbild (Deutsch)
Leitbild (Englisch)
Webseite #

Personen

TitelNachnameVorname
Univ.Prof. Bartocci Ezio
Univ.Ass. Dipl.-Ing. BScBocevskaIvana
BuhlBeatrix
Univ.Prof.in Dr.in sc. Christaki Maria
Projektass.(FWF) Dipl.-Ing.ClementMihaela-Larisa
Assistant Prof. Dipl.-Ing.in Dr.in techn.FazekasKatalin
Projektass.(FWF) Dipl.-Ing.GiglerFelix Nikolas
Univ.Prof. Dipl.-Ing.(BA) Dr.rer.nat. MSc Gärtner Thomas
Univ.Prof.in Dr.in techn. MSc Kovacs Laura
Univ.Prof. Maffei Matteo
Projektass.(FWF) Master DegreeMoeini JamMehran
Projektass.(FWF) MScStevanovicFilip
Projektass.(FWF) Dipl.-Ing. BScWatzingerSebastian
Projektass.(FWF) Dipl.-Ing. BScWinklerLorenz