Romain Demangeon

Reaching me

Mobile Fr: 0033.6.26.64.13.54     Uni : Université Pierre et Marie Curie 4 Place Jussieu 75252 PARIS CEDEX 05 Home : 3 rue Danton 94270 LE KREMLIN BICETRE email : romain dot demangeon at lip6 dot fr

Situation

I am currently (since 09/2013) Maître de Conférences (~ Assistant Professor / Lecturer) in the APR team inside LIP6 at Université Pierre et Marie Curie.
I am strongly interested in concurrency, process algebras: pi-calculus, session-types, type systems, verification, and full abstraction and more generally in abstract methods, fundations of programming languages and protocol design.

I took part in the OOI project, participating in the development of Scribble, a language for designing and verifying protocols.

I used to be (from 03/2013 to 08/2013) Research Associate at Imperial College, in Nobuko Yoshida's team, and before that (from 11/2010 to 02/2013) Research Assistant at Queen Mary, working with Kohei Honda until he sadly passed away.
I have defended my PhD, entitled "Termination of Concurrent Systems", in 11/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.

I am/was PC member of CONCUR 2015, SAC-SOAP 2016.

My cv.

Research

Publications

In International conference proceedings:

• On the Expressiveness of Multiparty Sessions,
  R. Demangeon, N. Yoshida, FSTTCS 2015
  
• Practical interruptible conversations: Distributed dynamic verification with session types and Python,
  R. Hu, R. Neykova, N. Yoshida, R. Demangeon, RUNTIME VERIFICATION 2013
  
• Monitoring Networks through Multiparty Session Types,
  L. Bocchi, T.-C. Chen, R. Demangeon, K .Honda, N. Yoshida, FMOODS/FORTE 2013
  
• A multiparty mutisession logic,
  L. Bocchi, R. Demangeon, N. Yoshida, in Proc. TGC 2012
  
• Nested Protocols in Session Types,
  R. Demangeon, K .Honda, in Proc. CONCUR 2012
  
• Full abstraction in pi-calculus with linear types,
  R. Demangeon, K. Honda, in Proc. CONCUR 2011
  
• Termination in impure lambda-calculus,
  R. Demangeon, D. Hirschkoff, D. Sangiorgi, in Proc. FSEN 2011
  
• Termination in impure concurrent language,
  R. Demangeon, D. Hirschkoff, D. Sangiorgi, in Proc. CONCUR 2010.
  
• Termination in higher order concurrent calculi,
  R. Demangeon, D. Hirschkoff, D. Sangiorgi in Proc. FSEN 2009.
  
• Static and dynamic typing for the termination of mobile processes,
  R. Demangeon, D. Hirschkoff, D. Sangiorgi in Proc. IFIP/TCS 2008.
  
• On the complexity of termination inference for processes,
  R. Demangeon, D. Hirschkoff, N. Kobayashi, D. Sangiorgi , in Proc. TGC 2007.
  

  In International workshops proceedings:

• Embedding Session Types in HML,
  L. Bocchi, R. Demangeon, N. Yoshida, (accepted at PLACES'13)
  

  In International journals:

• Mobile Processes and Termination,
  R. Demangeon, D. Hirschkoff, D. Sangiorgi in Semantics and Algebraic Specification 2009: 250-273
  
• 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.
  

Enseignement (in french)

• 1I001 (L1): Eléments de programmation: Introduction à la Programmation, Python (Cours, TDs, TPs, Interros).
• DAR (M2): Développement d'Applications Réticulaires.
• PPC (M2): Paradigmes de Programmation Concurrente.

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 .

Misc.

• My Pous index is currently: 2.
• 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 )