I am a lecturer at the School of Computer Science, working most closely with the other members of the Mathematical Foundations Group.
I hold a PhD equivalent Doktor rer. nat. from the Technical University Darmstadt, where I also received my first degree of Diplom-Mathematikering at the Department of Mathematics.
Before coming here I briefly was a lecturer at the School of Computer Science at the University of Birmingham, and before that a research associate at the Department of Pure Mathematics and Mathematical Statistics (known in short as DPMMS) at the University of Cambridge where I worked with Martin Hyland on an EPSRC project entitled "Uniform Game Semantics for Computational Reasoning". Before that I had a Marie Curie grant held at the Computer Laboratory at the University of Cambridge.
I have served as a referee for most of the journals and conferences in my area, and for the EPSRC; I was also a member of their Peer Review College for three years. I am a member of the steering committee and programme committee for the Workshop on Games for Logic and Programming Languages. I have received invitation to speak nationally and internationally in locations such as Bath, Oxford, Liverpool, Ottawa, Montreal, Calgary, Paris and Amsterdam.