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 safe and secure cognitive systems group (now the Cyber-Physical Systems group) of the newly-founded Bremen Lab of the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher, vice head and research manager, and helped to establish Bremen as the third DFKI site.

From 2008 to 2011, I was a honoury fellow of the University of Edinburgh. 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. I have authored over fifty papers in these areas, and successfully lead several research projects. An overview of my current research can be found here..