FRESCO: Fast and Reliable Symbolic Computation

FRESCO is a research project aimed at building a new programming environment for fast and verified symbolic computation.

This project will be generously funded for five years by an ERC Consolidator grant. The core team is located in University of Nantes, in the Gallinette Inria team-project, with some members hosted in Paris Saclay University, in the Toccata Inria team-project.

Contents:  NewsTeam


  • November 1st 2021: Official start of the project.


Core team:

Close collaborators:

Inria Université de Nantes ERC