Je soutiendrai publiquement ma th├Ęse le jeudi 02 juillet, (plus d'infos)

Photo de Matthieu Perrinel

Matthieu Perrinel

Third year PhD student with Patrick Baillot in the team inside LIP (ENS Lyon).
Mon CV


The focus of my work is Implicit Computational Complexity: the field whose aim is to characterize complexity classes by syntactic restrictions on a model of computation. The tools I am used to working with include: linear logic, proof-nets, interaction nets, context semantics.

List of publications

Technical reports, unpublished papers