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
Projektass.(FWF) Dipl.-Ing. BScBlohmPeter
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
Projektass.(FWF) MScKarimiMahyar
Univ.Prof.in Dr.in techn. MSc Kovacs Laura
Univ.Prof. Maffei Matteo
Projektass.(FWF) Master Degree Moeini Jam Mehran
BSc Mousavi Kani Seyede Marziyeh
Projektass.SondhiShubham
Projektass.(FWF) MSc Stevanovic Filip
Projektass.(FWF) Dipl.-Ing. BScWatzingerSebastian
Projektass.(FWF) Dipl.-Ing. BSc Winkler Lorenz