Romain Demangeon

Reaching me

Mobile : 0033.6.26.64.13.54

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

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

email : romain dot demangeon at eecs dot qmul dot ac dot uk

Situation

Im a currently Research Assistant at Queen Mary, University of London, in Kohei Honda's team. I defended my PhD, entitled "Termination of Concurrent Systems", in 2010, in the PLUME team of the Computer Science department of l'Ecole Normale Superieure de Lyon, under the supervising of both Daniel Hirschkoff and Davide Sangiorgi.

My cv.

Research

Recent works

A multiparty mutisession logic,
L. Bocchi, R. Demangeon, N. Yoshida, 2012.
Nested Protocols in Session Types,
R. Demangeon, K .Honda, 2012.
Safety Assurance Framework for Distributed Systems through Multiparty Session Types,
L. Bocchi, T.-C. Chen, R. Demangeon, P.-M. Denielou, K. Honda, R. Hu, R. Neykova, N. Yoshida 2012.

Publications

In International journals:

Termination in higher order concurrent calculi,
R. Demangeon, D. Hirschkoff, D. Sangiorgi in 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 in Semantics and Algebraic Specification 2009: 250-273

In International conference proceedings:
On the complexity of termination inference for processes,
R. Demangeon, D. Hirschkoff, N. Kobayashi, D. Sangiorgi , in Proc. TGC'07, November 2007.
Static and dynamic typing for the termination of mobile processes,
R. Demangeon, D. Hirschkoff, D. Sangiorgi in Proc. IFIP/TCS'08, September 2008.
Termination in higher order concurrent calculi,
R. Demangeon, D. Hirschkoff, D. Sangiorgi in Proc. FSEN'09, Avril 2009.
Termination in impure concurrent language,
R. Demangeon, D. Hirschkoff, D. Sangiorgi, in Proc. CONCUR 2010, September 2010.
Termination in impure lambda-calculus,
R. Demangeon, D. Hirschkoff, D. Sangiorgi, in Proc. FSEN 2011
Full abstraction in pi-calculus with linear types,
R. Demangeon, K. Honda, in Proc. CONCUR 2011

My Pous index is currently: 2.

Presentations and other works

Report of my Master Thesis (french)
Slides TGC'07 (Antibes) On the complexity of termination inference for processes
Slides TCS'08 (Milano) Static and dynamic typing for the termination of mobile processes
Slides NWPT'08 (Tallinn) Type systems for the termination of mobile processes
Slides COMPLICE 01/09 (Paris) Terminaison en pi-calcul (french)
Slides FSEN'09 (Kish) Termination in higher-order concurrent calculi
Slides WST'09 (Leipzig) Type systems for the termination of mobile processes
Slides YRCONCUR'09 (Bologna) Type systems for the termination of mobile processes
Slides LAC/GEOCAL'10 (Nice) Terminaison dans les langages fonctionnels impurs (french)
Slides TIC'10 (Bangalore) Termination of Mobile Processes
Slides CONCUR'10 (Paris) Termination in impure concurrent languages
Slides PhD Thesis defence (Lyon).
Slides FSEN'11 (Teheran) Strong normalisation in lambda-calculi with references
Slides DCW'11 (Dublin) Full abstraction in a pi-calculus with linear types .
Slides CONCUR'11 (Aachen) Full abstraction in a pi-calculus with linear types .
Slides PLACES'12 (Tallinn) Stratified Programming in Session Types .

Teachings (french)

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. (french)

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 )

(cette page en français)