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 co-chair of the
*Logic Mentoring Workshop '17*, co-located with LICS '17. - I am co-chair of
*Structures and Deduction '17*, co-located with FSCD '17. - I will be giving the tutorial
*From proof systems to complexity bounds*at Tableaux '17.

I have recently been awarded a Marie Skłodowska-Curie fellowship for my project *Monotonicity in Logic and Complexity*, to take place at DIKU, University of Copenhagen.
Further details can be found on the project page.

My research focusses on proof theory, the area of mathematical logic concerned with formal proofs. In particular I am interested in the interactions between logic and computational complexity. During my PhD I studied proof complexity in the deep inference methodology, where inference steps may operate within arbitrary contexts. Since then I have become interested in approaches to complexity via weak theories of arithmetic and substructural logics. Aside from this, I also work on various aspects of 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.