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.
-
Erlangen, Germany
-
Member for 8 years, 11 months
-
75 profile views
-
Last seen 3 hours ago
Communities (17)
Top network posts
Badges (43)
Gold
Rarest
-
Oct 1 '18
-
Jun 17
-
Apr 30 '19
Silver
Rarest
-
May 16 '17
-
Feb 19 '19
Bronze
Rarest
-
Feb 15 '19
-
Nov 20 '18
-
Nov 1 '16