PLUME, LIP,

ENS de Lyon,

46 Allée d'Italie,

69364, France.

ENS de Lyon,

46 Allée d'Italie,

69364, France.

rf.noyl-sne@sad.mapuna

I am a postdoctoral researcher at École Normale Supérieure de Lyon in the PLUME team in the Laboratoire de l'Informatique du Parallelisme. I work primarily with Patrick Baillot and Colin Riba.
Earlier I was an Inria Postdoctoral Fellow at Laboratoire d'Informatique de l'Ecole Polytechnique and did my PhD with Alessio Guglielmi and John Power at the University of Bath. I defended my doctoral thesis *The complexity of propositional proofs in deep inference* in October 2013.

So far my research has focussed on proof theory and, in particular, deep inference, a methodology which allows proofs to be composed by connectives of the associated logic. Analytic proofs in such systems are more efficient, in terms of size, than their traditional counterparts, and my PhD thesis concentrates on measuring this efficiency in the setting of proof complexity. I am also interested in rewriting theory and the proof theory of logics over relational structures.

I teach regularly in the classroom and laboratory for both mathematics and computer science.

Outside academia I used to be an amateur distance runner. My UK Athletics profile can be found here.