Semantic Workbench journal article to be published
2017-10-10ESSLLI 2017 course on diagrammatic reasoning
2017-07-21GaM Proceedings published
2016-12-05Graph Computation Models 2016 @STAF
2016-07-04Graphs as Models 2016 @ETAPS
2015-04-02FASE 2016 paper
2016-03-05Dagstuhl slides online
Currently, I'm forging new research paths at Bauhaus Luftfahrt e.V.. See there for pointers to my most recent work.
Before, I held a position as assistant professor/senior staff scientist (Akademischer Rat a. Z.) in the Software Technologies Research Group (Lehrstuhl für Softwaretechnik und Programmiersprachen) at the Otto-Friedrich-Universität Bamberg.
For a more detailed look onto my work from this time, I will refer to the subpages about my research interests, as well as the lists of publications and tools.
If you want to get in touch with me, please feel free to contact me.
about this site
If there are any typos, errors, dead links, copyright related problems et cetera please contact me.