Dr Pierre-Malo Deniélou
Alumni
PublicationsDr 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
2016
2014
-
: Structuring Communication with Session Types. COB 2014 .
2013
2012
-
: Multiparty Session Types Meet Communicating Automata. ESOP 2012 .
-
: Parameterised Multiparty Session Types. LMCS .
2010
-
: Buffered Communication Analysis in Distributed Multiparty Sessions. CONCUR 2010 .
-
: Secure Execution of Distributed Session Programs. PLACES 2010 .