Meine Forschungstätigkeit bewegt sich im Grenzgebiet zwischen theoretischer Informatik und allgemeiner Algebra. Insbesondere entwickle und verwende ich Methoden aus der universellen Algebra (Galoistheorie für funktionale und relationale Systeme, Klone, Relationenklone und verwandte Systeme) zur Komplexitätsanalye von Entscheidungs- und Approximationsproblemen im CSP-Kontext (constraint satisfaction problems). Ferner interessiere ich mich für Verbindungen zwischen allgemeiner Algebra und Kategorientheorie (z.B. kategorielle Äquivalenzen von Algebren und Varietäten), sowie zur Modelltheorie (Rekonstruktionsprobleme für Klone auf abzählbaren Grundmengen).

My research evolves around the borderline of theoretical computer science and general algebra. In particular I apply (and develop) methods from universal algebra (Galois theory for functional and relational systems, clones, relational clones, and related systems) to study the complexity of decision and approximation problems within the CSP (constraint satisfaction problems) context. I am moreover interested in connections of general algebra with category theory (e.g. categorical equivalence of varieties / algebras) and with model theory (reconstruction problems for clones on countable sets).