# Resumé

Here’s a quick run-down of my academic life:

#### Qualifications

- PhD in Computer Science (2013)

University of Manchester, UK

Thesis: “Combinatorial Arguments for Linear Logic Full Completeness”

Supervisor: Andrea Schalk - MSc in Mathematical Logic and the Theory of Computation (2007)

University of Manchester, UK - MA in Mathematics (2005)

University of Cambridge, UK

#### Post-docs

- Assistant Professor
- LIPN, Université Sorbonne Paris Cité, France (2017)

- ERC Project ProofCert
- LIX, Inria/École Polytechnique, France (2015-2016)

- ANR Project Logoi
- LIPN, Université Sorbonne Paris Cité, France (2013-14)
- I2M, CNRS/Aix-Marseille Université, France (2013)

#### Teaching

I’ve taught on a number of courses at university level, as a lecturer and a leader of *travaux dirigés*, in English and in French. I’ve attempted to bestow knowledge on unwitting victims in the following subjects:

- The unholy triad of the Curry-Howard-Lambek Correspondence and its components:
- Game Theory
- Automata Theory
- All the other fundamental bits of mathematical know-how required for computer scientists (probability, proof, recursion, relations), in theory and in programming practice.