101
reputation
3

Carsten Führmann

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.

1
answer
0
questions
~46k
people reached
  • Erlangen, Germany
  • Member for 3 months
  • 6 profile views
  • Last seen Nov 22 at 7:44

Top tags (3)

Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (1) All Questions Answers | Votes Newest

Badges (3)

Gold

Silver

Bronze

3

Rarest