Research unit profile

TU-Wien > Doctoral Center >Vice Rectorate Academic Affairs >Doctoral Center >Service Unit of Automated Reasoning
E056-26
Service Unit of Automated Reasoning
Concept (German)
Concept (English)
Website #

People

TitleSurnameFirst name
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
Univ.Prof. Maffei Matteo
Projektass.(FWF) Master Degree Moeini Jam Mehran
Projektass.SondhiShubham
Projektass.(FWF) MSc Stevanovic Filip
Projektass.(FWF) Dipl.-Ing. BScWatzingerSebastian
Projektass.(FWF) Dipl.-Ing. BSc Winkler Lorenz