Section: Partnerships and Cooperations

Regional initiatives

Digiteo Metal

Participants : François Pottier, Nicolas Pouillard.

The Metal project (2008-2011) of the Digiteo RTRA is coordinated by François Pottier. It focuses on formal foundations and static type systems for meta-programming.

Digiteo Hisseo

Participant : Xavier Leroy.

The Hisseo project (2008-2011) of the Digiteo RTRA is coordinated by Pascal Cuoq at CEA LIST. It studies issues related to floating-point arithmetic in static analyzers and verified compilers.