Having a good education in computer science (from the Technical University of Berlin originally), and having worked for many years in industry, in various positions (as a software engineer, consultant, etc.) in Berlin and Paris, I returned to academia in Canterbury/Kent for some time.

A member of the computing group in Kent thus till recently, I focussed on functional programming languages (Haskell), dependent types (Idris), and refactorings in my research. I was supervised by Simpon Thompson in my PhD (have not submitted my thesis though).