I am a PhD student and scientific assistant working with Steffen Staab and Ralf Lämmel. My research focus is programming with semantic data or graph data. I’m mainly looking into avoiding errors in programs that query and process such kind of data through type systems.
I studied Computer Science at the Johannes Gutenberg University in Mainz as well as in the University of Koblenz-Landau. In my bachelor studies at Mainz, my main focus was on Computer Graphics, Web Technologies and Databases. I was also involved in student teaching for the Programming Languages and Software Engineering courses. I received my Bachelor degree in 2011. For my masters degree, I switched to the University of Koblenz-Landau. During my studies in Koblenz, I was mostly involved in the 101companies software chrestomathy by Ralf Lämmel and the Software Languages team. I received my Master degree in 2013.
MSc in Computer Science, 2013
University of Koblenz-Landau
BSc in Computer Science, 2011
Johannes Gutenberg University, Mainz
I am responsible for the Algorithms and Datastructure tutorials, an undergraduate course. The topics of the course include:
Furthermore, I’m also responsible for the tutorials of the graduate course Artificial Intelligence. Topics of the course include:
Besides courses, I’m also sometimes involved in seminars or research practicals such as seminars on graph algorithms or recently a research practical on AIs in Starcraft.