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.
More recently, I developed an interest in theoretical physics. Then I found that my physics interests rely heavily on the mathematical field called "functional analysis". The latter is my current focus outside work.
This user hasn’t posted yet.