Researchers

Axel Legay is a research scientist at Inria Rennes. Until December 2012, he was part of DISTRIBCOM team. Since January 2013, he is part of the TRISKELL team. Their challenging objective will be to bridge the gap between formal methods and software engineering.