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).
matthieu.perrinelens-lyon.org
Mon CV

Research

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

Teaching