Project-Team Celtique

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Section: Overall Objectives

Highlights of the Year

Sandrine Blazy received the 2011 La Recherche award in Information Sciences for her contributions to the CompCert verified C compiler, together with Zaynah Dargaye, Xavier Leroy and Jean-Baptiste Tristan.