I am a computer scientist and software engineer, born in Germany. I hold a PhD in theoretical computer science from the University of Edinburgh (UK). Until early 2005, I was a lecturer at the University of Bath (UK). Then I moved back to Germany to work as a software engineer.

I am interested in all aspects of software engineering. And I am still interested in my former academic fields: programming language theory and proof theory. In both fields I applied a lot of category theory, and I am still interested in that too.

My website is carstenfuehrmann.org.