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. BSc Bocevska Ivana
BuhlBeatrix
Univ.Prof.in Dr.in sc. Christaki Maria
Projektass.(FWF) Dipl.-Ing.ClementMihaela-Larisa
Assistant Prof. Dipl.-Ing.in Dr.in techn. Fazekas Katalin
Projektass.(FWF) Dipl.-Ing. Gigler Felix Nikolas
Univ.Prof. Dipl.-Ing.(BA) Dr.rer.nat. MSc Gärtner Thomas
Univ.Prof.in Dr.in techn. MSc Kovacs Laura
Projektass.(FWF) MSc ETHLiuYiqun
Univ.Prof. Maffei Matteo
Projektass.(FWF) Master Degree Moeini Jam Mehran
Projektass.(FWF) MSc Stevanovic Filip
Projektass.(FWF) Dipl.-Ing. BScWatzingerSebastian
Projektass.(FWF) Dipl.-Ing. BSc Winkler Lorenz