I was a PhD student within the Doctoral College Logical Methods in Computer Science at TU Wien. My supervisors were Martina Seidl and Hans Tompits. Check out my website https://benjaminkiesl.github.io/ for more details.