Associate member of the Sofware Systems group, and of the PLASTIC research team. My main interest is to study language-based techniques for the analysis and deployment of correct distributed mobile systems. Keywords: coq, consensus, behavioural types, deadlock analysis, Go, pi calculus, oolong, distributed concurrency control, security, ocaml, why3.