Organization Committee of ETAPS 2014, Tutorial and Workshops Chair
PC Chair of FORMATS 2014
Who am I?
I am a research scientist (CR1) at Inria
Rennes. I lead the exploratory action
team. The objective of our team is to build new tools and techniques for the rigorous design of systems of systems.