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 then. A member of the computing group in Kent thus till recently I have left academia again.

I focussed on functional programming languages (Haskell), dependent types (Idris), and refactorings in my research.


my CV