Who am I?
I no longer with the IAM group and have left the academic life.Welcome to my homepage. I am originally from Liverpool, where I went to school and my folks still live. It's hard to hear my accent these days but if we talked football my true (red) colours become highly visible.
In 1991 I went to Leeds University to study a BSc in mathematics. My third year I spent abroad as an Erasmus student, my destination being France and the Université Paris-Sud XI, situated in the town of Orsay. Not only did I learn French to a competent level, but that year gave me the wanderlust to live and work abroad. After that I came back to Leeds to complete my degree, following all pure mathematics courses; algebra (ring theory, group theory, Galois theory), algebraic topology, graph theory, coding theory and naturally logic (logic I and II, set theory, computatability and unsolvability, mathematical theory of computation).
I graduated in 1995 and decided to stay at Leeds and start working directly for a PhD, with Professor Stan Wainer as my supervisor. My area was in mathematical logic and more particularly in proof theory. Four years later, in 1999, I completed my doctorate, my thesis titled ``Proof theories of low subrecursive classes''.
My first post-doctoral job was a year in Lisbon, Portugal, working in the group of Professor Fernando Ferreira at Centro de Matemática e Aplicações Fundamentais, (CMAF), at the Universidade de Lisboa.
Since October 2000 I held a post-doctoral position at the Universität Bern, Switzerland, working in the group Theoretische Informatik und Logik, (TIL), of Professor Gerhard Jäger at Institut für Informatik und angewandte Mathematik. During my time here I have managed to learn to speak Geoff German (often the cases are wrong, whereas only sometimes the word order is wrong).