• December 2018 - now: Lecturer at University of Lübeck

• November 2018: Final talk for habilitation

• October 2015 - October 2018: Habilitation on representation theorems in Computer Science (habilitation thesis published at Springer, see online version here)

• November 2018 - now: Research Assistant at the Institute of Information Systems at the University of Lübeck (permanent contract)

• July 2018 - October 2018: Research Assistant at the Institute of Information Systems at the University of Lübeck employed within the BMWi funded Kompetenzzentrum Kiel "Mittelstand 4.0"

• October 2014 - June 2018: Research Assistant at the Institute of Information Systems at the University of Lübeck

• November 2012 - September 2014: Research Assistant at the Institute for Software Systems at the Technical University of Hamburg-Harburg in the framework of the EU project OPTIQUE

• March 2010 - October 2012: Research Assistant at the Institute for Software Systems at the Technical University of Hamburg-Harburg working in the DFG funded project GeoDL

•  April 2004 - February 2010: Research Assistant in the working group WSV, Department of computer science at the University of Hamburg.

• Publications at IFIS (2014-today)
• Publications before IFIS (2013-2006)

Teaching

• Project: Logikprogrammierung CS3701 (Summer term)
• Lecture: Foundations of ontologies and Databases for information systems CS5130 (Winter, in english)
• Lecture: Data-Mining (Winter term 17/18, in english)
• Lecture: Web-Mining-Agents (Winter term 18/19, in english)
• Lecture: Datenbanken (Summer term)

My interests are in the area of logical and mathematical modeling for knowledge representation and processing and for machine learning; amongst others I am interested in the following topics.

• Description Logics
• Ontologies
• Temporal logics
• Non-monotonic reasoning
• Qualitative spatial reasoning
• Stream processing
• Knowledge revision
• Relevance structures
• Structure for modelling conditional independence

As of now my focus of interest is on formal foundations of (incremental) machine learning algorithms - tackling various data science queries.

• Finishing habilitation with a research talk on October 17, 2018
• Workshop- and tutorial chair at the 41. German AI conference (KI 2018)
• Invited talk at the workshop StreamReasoning 2018 in Zurich
• Invited talk "Models of High-Level Declarative Sream Processing'' at the workshop OrdRing 2015
• Organization of a workshop on high-level stream processing Hidest 15
• Tutorial on stream processing in the context of an international summer school for PhD student Reasoning Web Summerschools 2015