Axel Legay


Axel Legay ( INRIA)



Office
Bat C , Burean C311
Postal
Campus Universitaire de Beaulieu 35042 Rennes Cedex - FRANCE (B28)
Phone
+33-2-99847315(office)
Fax
+33-2-99847171
Email
axel.legay@inria.fr

News

PC CHAIR (with Valeria Bertacco) of the Haifa Verification Conference, 2013
PC CHAIR and Organizer of the Statistical Model Checking 2013
PC CHAIR and Organizer of Runtime Verification 2013
PC CHAIR and Organizer of SoS workshop at ETAPS 2013
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 the ESTASYS team. The objective of our team is to build new tools and techniques for the rigorous design of systems of systems.