Situation
Since september 2011 I am a teaching assistant
(ATER) in
the LCR team
of LIPN, in
the University of Paris Nord.
Last year I was a teaching assistant (ATER) in the MOVE team of LIF, in the University of
Provence.
Previously I stayed for one year as a JSPS fellow
within the computer science team of the RIMS in Kyoto
University.
Before I was a PhD student at the IML in the LdP team under the
supervision of Laurent Régnier (CV
in english).
Contact
Laboratoire d'Informatique de Paris-Nord
Institut Galilée - Université Paris-Nord
99, avenue Jean-Baptiste Clément - 93430 Villetaneuse
E-mail: etienne.duchesne [at] lipn [dot] univ-paris13 [dot] fr
Teaching
Last year I taught "Outils du web".
Research
Submitted paper
- Geometry of interaction for classical linear logic and denotational semantics, Etienne Duchesne, under revision for MSCS.
Preprint
- The geometry of multiplicatives and additives: interaction and orthogonality, Etienne Duchesne, avril 2011.
- MELL in a free compact closure, Etienne Duchesne, february 2012.
Doctoral Dissertation
- La localisation en logique: géométrie de l'interaction et sémantique dénotationelle, Etienne Duchesne, thèse de doctorat, defended on 10/26/2009.