Almost all my research work has to do with process calculi for mobility.
Most of it has been done in collaboration with Davide Sangiorgi.

• with Romain Demangeon on termination in the pi-calculus
• with Damien Pous on behavioural equivalences and up-to techniques for bisimulation
  see also some older work: Bisimulation verification using the up to techniques, Software Tools for Technology Transfer, 3(3): 271-285 (2001), © Springer Verlag
• with Tom Hirschowitz on process calculi for dynamic modularity
• with Arnaud Carayol on the semantics of a non-deterministic extension of the lambda-calculus
• with Etienne Lozes on spatial logics for concurrency
  see also An Extensional Spatial Logic for Mobile Processes, proc. of CONCUR'02, LNCS 3252, © Springer Verlag
• with David Teller on resource bound certification in distributed and mobile systems
• with Christine Roeckl on formalisations of the pi-calculus in theorem provers
  see also A full formalisation of pi-calculus theory in the Calculus of Constructions, proc. of TPHOL's 97, LNCS 3351, © Springer Verlag