The Life of the Lüth


Born 1966 and subsequently raised in sunny Lübeck at the shores of the Baltic Sea in north Germany. I left in 1986 for Berlin to study Computer Science at the Technische Universität Berlin. Moved again in 1991, this time to even sunnier Edinburgh, Scotland's beautiful capital, where I did a PhD at the Laboratory for Foundations of Computer Science at the University of Edinburgh. Came to the Universität Bremen in 1996, first as a research assistant, then as a Wissenschaftlicher Assistent.

After I finished my habilitation in 2005, I joined the research group for safe and secure cognitive systems of the newly-founded Bremen Lab of the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and vice head (research manager) of the group. My research at DFKI is concerned with safe and secure systems, in particular safe robotics. In 2011, the University of Bremen awarded me the title of professor.


My research covers the whole area of formal software development, from theoretical foundations as found in the theory of enriched monads to tool development and applications in practical areas such as robotics.

In my thesis, I have developed a compositional semantics for term rewriting systems which is based on the theory of enriched monads. This grew into a wider initiative to use methods from category theory in term rewriting, spear-headed by Neil Ghani and his group, now at the University of Strathclyde. Recently, we have developed a method to prove abstract modularity results.

After arriving in Bremen, together with other colleagues we developed various tools to support formal program development, such as the transformation system TAS, the Casl Consistency Checker, and various extensions for the tactical theorem prover Isabelle, including a graphical user interface. My habilitation gives a good overview of my research in those years (1998-- 2005).

An overview of my current research can be found here..