He is also member of the FOCUS (FOundations of Component-based Ubiquitous Systems) team which is part of the INRIA Sophia Antipolis - Méditerranée research center. He he is co-founder and member of the steering committee of the international workshop on Web Services and Formal Methods (WS-FM). He has been organizer/program committee chair of several international conferences and events, such as the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013), the 20th International conference on Concurrency Theory (CONCUR 2009), and the meeting on the 25th anniversary of Process Algebra. His current research interests include behavioural contracts for service composition.