Romain Demangeon

Coordonnées

Portable : 0033.6.26.64.13.54

Boulot : Queen Mary, University of London
Mile End Road
LONDON E1 4NS

Maison : 102, Central House
32-66 High Street, Stratford
LONDON E14 2NY

iMèle : romain dot demangeon at eecs dot qmul dot ac dot uk

Situation

Je suis actuellement Research Assistant (post-doc) à la Reine Marie, Université de Londres, dans l'équipe de Kohei Honda. Avant (October 2010), j'ai visistél'équipe-projet Comète au LiX. J'ai aussi défendu ma thèse le Novembre 23 2010, intitulée "Terminaison des systèmes concurrents", dans l'équipe PLUME du LIP de l'Ecole Normale Superieure de Lyon, sous la supervision conjointe de Daniel Hirschkoff et Davide Sangiorgi.

Recherche

Publications

Dans de la conférence internationale:

On the complexity of termination inference for processes,
R. Demangeon, D. Hirschkoff, N. Kobayashi, D. Sangiorgi , dans les procèdements de TGC'07, November 2007.
Static and dynamic typing for the termination of mobile processes,
R. Demangeon, D. Hirschkoff, D. Sangiorgi dans les procèdements de IFIP/TCS 2008, September 2008.
Termination in higher order concurrent calculi,
R. Demangeon, D. Hirschkoff, D. Sangiorgi dans les procèdements de FSEN 2009, Avril 2009.
Termination in impure concurrent language,
R. Demangeon, D. Hirschkoff, D. Sangiorgi, dans les procèdements de CONCUR 2010, Septembre 2010.
Termination in impure lambda-calculus,
R. Demangeon, D. Hirschkoff, D. Sangiorgi, dans les procèdements de FSEN 2011 (à apparaître)
Full abstraction in pi-calculus with linear types,
R. Demangeon, K. Honda, dans les procèdements de CONCUR 2011 (à apparaître)

Dans du journal international:
Termination in higher order concurrent calculi,
R. Demangeon, D. Hirschkoff, D. Sangiorgi dans Special issue of J. of Log. and Algebr. Program. for 20th Nordic Workshop on Programming Theory, NWPT 2008.
Mobile Processes and Termination,
R. Demangeon, D. Hirschkoff, D. Sangiorgi dans Semantics and Algebraic Specification 2009: 250-273

Mon indice de Pous est: 2.

Toboggans

Rapport de mon stage de M2
Toboggans TGC'07 On the complexity of termination inference for processes
Toboggans TCS'08 Static and dynamic typing for the termination of mobile processes
Toboggans NWPT'08 Type systems for the termination of mobile processes
Toboggans COMPLICE 01/09 Terminaison en pi-calcul
Toboggans FSEN'09 Termination in higher-order concurrent calculi
Toboggans WST'09 Type systems for the termination of mobile processes
Toboggans YRCONCUR'09 Type systems for the termination of mobile processes
Toboggans LAC/GEOCAL'10 Terminaison dans les langages fonctionnels impurs
Toboggans TIC'10 Termination of Mobile Processes
Toboggans CONCUR'10 Termination in impure concurrent languages
Toboggans PhD Thesis defence.
Toboggans FSEN'11 Strong normalisation in lambda-calculi with references
Toboggans DCW'11 Full abstraction in a pi-calculus with linear types .

Enseignements

Monitorats 2009-2010
- ENS Lyon: Programmation 1: paradigmes de programmation, lambda-calcoul (L3, 2009-2010).
- UCBL: LIF5 (TP) (L2, 2009-2010).
Monitorats 2008-2009 à l'ENS Lyon
- Programmation 1: paradigmes de programmation, lambda-calcoul (L3, 2008-2009).
- Programmation 2 (L3, 2009-2009).
Monitorats 2007-2008 à l'ENS Lyon:
- Programmation 2 : logique, sémantique et réécriture (L3, 2007-2008).
- Fondements de l'Informatique 2: calculabilité et théorie des modèles (L3, 2007-2008).
Projet Matlab, pour les classes préparatoires du Lycée la Martinière Monplaisir (2006-2008).

Misc.

La liste (manuscrite) de mes développements d'Informatique pour l'Agrégation de Mathématiques (année scolaire 2005-2006): ( page 1 , page 2 )

Hobbies

Des gens que je connais

Des gens que je ne connais pas

(this webpage in english)