Paris 13      


Aloïs Brunel
LIPN, Université Paris 13

E-mail: alois.brunel@ens-lyon.org


Laboratoire d'Informatique de Paris-Nord

Institut Galilée - Université Paris-Nord


HOME     PUBLICATIONS     TALKS    
Who am I?

I'm a 2nd year PhD student at the LIPN, in the LCR team, under the supervision of Damiano Mazza. I am a former student of the Ecole Normale Supérieure de Lyon and of the Master Parisien de Recherche en Informatique.


My scientific interests: classical realizability, linear logic, implicit complexity, geometry of interaction, COQ, type theory, ...


I'm also actively involved in the organization of the working group Groupe de Travail Logique.
What's new?

April 31, 2012 - Two works in progress presented at DICE 2012 (see the program):

  • A quantitative realizability model for dlPCF  (with Marco Gaboardi)

  • Quantitative reducibility candidates for light logics with type fixpoints,
    references and multithreading  (with Antoine Madet)

March, 2012 - A new preprint available: Quantitative classical realizability



About this webpage
   The css style and the layout used here have been stolen to Marco's webpage.