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