Stats
3,198
reputation
0
reached
0
answers
0
questions
Loading…
About
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.
Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
-
Yearling
× 11Mar 24
2
bronze badges
-
SupporterAug 17, 2018
-
AutobiographerSep 24, 2014
Posts
This user hasn’t posted yet.
Top network posts
View all network posts