My name is Carsten Führmann. I am a computer scientist and software engineer, born in Germany. I hold a computer science PhD from the University of Edinburgh (UK). Until early 2005, I was a lecturer at the University of Bath (UK). Then left academia to try myself in a software company back in Germany, where I still work.
My academic research was concerned with programming languages, logics, proof theory, and category theory. I am still interested in those areas. In recent years, driven my industrial work, I have developed an strong interest in software engineering. Around 2013, I developed an interest in theoretical physics, but time permits me only to dabble.
I am a secular humanist. I also love to loose myself in books, music, computer games, and the internet. My wife and I have two lovely cats.