Forschungseinheitenprofil

TU-Wien > Doctoral Center >Vizerektorat Lehre >Doctoral Center >Fachbereich Automated Reasoning

Leitbild (Deutsch)

Leitbild (Englisch)

Webseite #

Personen

Titel	Nachname	Vorname
Univ.Prof.	Bartocci	Ezio
	Buhl	Beatrix
Univ.Prof.in Dr.in sc.	Christaki	Maria
Assistant Prof. Dipl.-Ing.in Dr.in techn.	Fazekas	Katalin
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