Projets de recherche

Projets de recherche en cours

• ANR (2020-2024) InterFLOP (responsable : David Defour)
• ANR (2020-2024) NuSCAP : Numerical Safety for Computer-Aided Proofs (responsable : Nicolas Brisebarre)

Ancien projets de recherche

• ANR (2014-2018) FastRelax : Fast and Reliable Approximation (responsable : Bruno Salvy)
• Projet PEPS (CNRS) 2013-2014 QUARENUM: QUAlity and REproducibility in NUMerical simulations (responsable : Marc Baboulin)
• ANR Blanc (2010-2013) TaMaDi : Dilemme du Fabricant de Tables (responsable : Jean-Michel Muller)
• Projet Emergence-UPMC (2010-2012) : Génération automatique de codes numériques parallèles pour l'assimilation de données (responsable : Julien Brajard)
• Projet "Coup de pouce recherche" Polytech'Paris-UPMC (2010) GPUPS : Calcul de pseudospectres sur GPU (responsable : Pierre Fortin)
• Projet LIP6 : Algorithmes symbolique-numériques pour la résolution de systèmes polynomiaux (2007,2008)
• Action Concertée Incitative "Jeunes chercheurs 2003-2005" (MENRT) : Qualité numérique du logiciel scientifique et arithmétique des ordinateurs. Responsable : Ph. Langlois (DALI)
• Action Spécifique 2003-2004 (CNRS) : Validation numérique embarquée. Organisateurs : Ph. Langlois (DALI), F. Rico (LIP6)

Stef Graillat
(Dernière modification : 27 mai 2013)