Axel Legay


Axel Legay ( INRIA)


Office
Bat C , Burean C213
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

Who am I?

I am a research scientist (CR1) at Inria Rennes. Until December 2012, I was part of DISTRIBCOM team. Since January 2013, I am part of the TRISKELL team. Our challenging objective will be to bridge the gap between formal methods and software engineering.