Organization Committee of ETAPS 2014, Tutorial and Workshops Chair
Who am I?
I am a research scientist (CR1) at Inria
Rennes. Until December 2012, I was part
team. Since January 2013, I am part of
team. Our challenging objective will be to bridge the gap between
formal methods and software engineering.