MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Pierre-Malo Deniélou
Alumni
Publications

Dr Pierre-Malo Deniélou did his PhD from 2006 to 2009 at INRIA in Paris under the supervision of Jean-Jacques Lévy (Senior Researcher, INRIA). The title of his thesis is “Abstraction safety and secure sessions in distributed languages”. Dr Pierre-Malo Deniélou worked from 2010 to 2012 as a Research Associate at Imperial College London, where he collaborated with Professor Nobuko Yoshida. Dr Pierre-Malo Deniélou is now a lecturer at Royal Holloway, University of London. His research aims at building theoretical and practical tools for the safety and security of concurrent and distributed systems. He is in particular currently investigating the foundations of session types as well as their integration into programming languages. His recent work was on the connection of multiparty session types with automata theory, and on the semantics of dynamic protocol specifications.

Malo is now at Google

Publications

2017
2014
2013
2012
2011
2010