Le groupe de travail Calcul Formel du GDR Informatique Mathématique
Le GDR
Le GDR Informatique Mathématique regroupe trois pôles
- Algorithmique et combinatoire
- Calcul formel, arithmétique et géométrie
- Logique et complexité
Nous sommes bien sûr dans le deuxième pôle, lui-même composé de six ``groupes de travail''
Les journées nationales
Le GDR les a financé partiellement, tout comme les éditions récentes qui ont eu lieu à Luminy du 29 janvier au 2 février 2007,
du 20 au 24 octobre 2008,
du 3 au 7 mai 2010.
En sont issus des supports de cours très intéressants par
- Paul Zimmermann, Mohab Safey El Din, Delphine Boucher et Jacques-Arthur Weil (en 2007);
- Laurent Busé, Daniel Augot, Guénaël Renault, Philippe Martin et Pierre Rouchon, Jean-Michel Muller (en 2008);
- Daniel Augot, Alin Bostan, Jean-Pierre Dedieu, Alban Quadrat (en 2010);
- Karim Belabas, Loïc Pottier, Frédéric Chyzak, Joris van der Hoeven (en 2011).
La liste des équipes
Le but principal de cette page est de lister les équipes de calcul formel en France (qui ont accepté d'y être présentées) avec en particulier les doctorants et leurs sujets. Cette liste sera remise à jour tous les ans, mais si vous y trouvez une information obsolète ou une information manquante, merci d'envoyer un courrier électronique à Bruno Salvy.
Le calcul formel à Besançon est dans l'équipe Algèbre et Théorie des Nombres du Département de Mathématiques.
Permanents
Doctorants
- Sami Barhoumi (Modules projectifs, Algorithmes)
- Skander Belhaj (Matrices structurées)
- Afef Ellouz (Algèbre constructive et calcul formel)
Cette équipe intervient dans le Master mathématiques et applications.
L'équipe Inria Lfant fait de la théorie algorithmique des nombres.
Permanents
Doctorants
Ingénieur
Elle participe aux ANRs Pace et Algol.
Il y a l'équipe CASYS au Laboratoire Jean Kuntzmann, un retraité actif, Francis Sergeraert ainsi que Clément Pernet au LIG, projet MOAIS.
Permanents
Doctorants
- Brice Boyer (Calcul exact sur architectures multi-coeurs)
Post-doc
Christophe Chabot (Secured Hardware Immune Versatile Architecture)
Cette équipe intervient dans les masters 2 de Mathématiques Appliquées, de Systèmes et Logiciels et de Cryptologie, Sécurité et Codage de l'Information.
L'équipe s'appelle simplement Calcul Formel, elle fait partie du LIFL.
Permanents
Doctorant
- Fabien Monfreda (en co-encadrement avec Toulouse).
Elle organise un séminaire.
Les thèmes principaux sont le traitement symbolique des équations différentielles et la modélisation en biologie.
Cette équipe est partenaire du projet ANR LEDA.
Il s'agit du projet Calcul Numérique Symbolique et Optimisation.
Permanents
(dont les activités de recherche relèvent du Calcul Formel)
Post-docs
Doctorants
(dans le domaine CF)
- Carole El Bacha (Algorithmique des équations différentielles matricielles et applications)
- Abdelkarim Chakhar (Réduction et décomposition de systèmes dynamiques linéaires et bilinéaires)
- Esteban Segura Ugalde (Méthodes structurées pour calculs polynomiaux)
Anciens doctorants actuellement en post-doc
Cette équipe organise un séminaire et participe à l'ANR
Xcode.
Ça se passe dans le projet Arenaire du LIP (ENS Lyon).
Permanents
Doctorants
- Adrien Panhaleux
(Algorithmique virgule flottante)
- Erik Martin-Dorel (Preuve formelle et arithmétique virgule flottante)
- Xavier Pujol (Réductions fortes de réseaux euclidiens)
- Nicolas Brunie
- Adeline Langlois
- David Pfannholzer
- Philippe Theveny
Post-Docs
Anciens doctorants en post-doc
- Christophe Mouilleron (Outils mathématiques et symboliques pour la certification de programmes numériques)
- Hong Diep
Nguyen (Composants logiciels pour la validation
en calcul scientifique)
- Mioara
Joldes (Approximation efficace et certifiée en machine en
une et plusieurs variables)
Cette équipe intervient dans le Master d'Informatique Fondamentale de l'ENS Lyon.
Elle organise le groupe de
travail Arénaire et participe aux actions
ANR EVAFlo,
LaRedA, TCHATER et TaMaDi.
L'essentiel est dans le projet Caramel, et il y a un calculateur formel au projet Vegas: Guillaume Moroz.
Permanents Caramel
Doctorants Caramel
- Nicolas Estibals (Génération automatique de circuits pour le calcul de couplages cryptographiques en matériel)
- Cyril Bouvier (Algorithmes de factorisation et GPU)
- Hamza Jeljeli (Calcul de logarithmes discrets, comparaison FFS/NFS, implantation)
- Răzvan Bărbulescu (procédures de descentes dans les algorithmes de calcul de logarithme discret en L(1/3))
Post-Docs Caramel
Ancien doctorant actuellement en post-doc
Cette équipe intervient dans le Master UHP Nancy 1, et au Master parisien de recherche en informatique. Elle organise le séminaire Caramel et participe aux ANR
Rapide et Chic.
Il y a le projet Inria Galaad, et un permanent (du projet Apics) : Sylvain Chevillard.
Permanents Galaad
Doctorants Galaad
- Marta Abril Bucero: Moment matrices, real algebraic geometry and polynomial optimization.
- Mathieu Collowad: Integral representation of shapes for feature conservation or extraction.
- Abddalah Lachaal: Geometric computing with procedural models and applications.
Post-Docs Galaad
- Alessandra Bernardi
- Nicolas Botbol
Anciens Doctorants actuellement en post-doc
- Elimane Ba (Résultant résiduel; théorie et applications)
- Jerome Brachat (Dualité effective pour la résolution d'équations polynomiales)
- Daouda N'Diatta (Algorithmique des courbes et surfaces)
- Thang Luu Ba (Using matrix-based representations for CAGD)
- Angelos Mantzaflaris (Robust algebraic method for geometric computation)
Cette équipe intervient dans le Master de mathématiques de l'Université Nice Sophia-Antipolis et le master MDFI de Luminy. Elle organise un séminaire et participe aux projets européens SAGA, Exciting et Terrific, ainsi qu'au projet ANR Geolmi.
Il y a deux équipes : l'équipe Max du laboratoire d'informatique de l'École polytechnique et le projet Tanc joint avec l'Inria.
Permanents Max
Doctorants Max
- Jérémy Berthomieu (Algorithmes efficaces pour le calcul de la normalisation d'une variété algébrique et applications)
- Romain Lebreton (Invariants d'algèbres polynomiales sous un groupe fini : Structures de Données, Algorithmique, Complexité)
Cette équipe participe à l'ANR Magix et organise le séminaire SemMax.
Elle participe à l'ANR LEDA et au DIM MAGIX avec Digiteo.
Permanents Tanc
Doctorants Tanc
- Morgan Barbier (Décodage en liste des codes binaires, applications à la stéganographie)
- Guillaume Quintin (décodage des codes géométriques, des codes CRT, en métrique de Hamming et métrique de Lee)
- Cécile Conçalves
Ces deux équipes interviennent dans le Master parisien de recherche en informatique.
Le calcul formel à Paris intra muros se fait principalement dans les équipes
PolSys
et APR.
Permanents PolSys
Doctorants PolSys
- Luk Bettale
- Wei Niu
- Pierre-Jean Spaenlehauer (Complexité des systèmes multi-homogènes)
- Rong Xiao
- Ye Liang
- Ting Zhao
- Christopher Goyet (Attaques algébriques par canaux cachés)
- Chenqi Mou (Résolution des systèmes polynomiaux dans les corps finis et applications à la cryptologie)
- Aurélien Greuet (Optimisation globale de polynômes multivariés par le Calcul Formel et l'Algèbre Réelle)
- Louise Huot (Étude des systèmes polynomiaux en cryptologie)
- Rina Zeitoun
- Jules Svartz (Systèmes Polynomiaux avec symétrie)
- Frédéric de Portzamparc (Attaque algébrique et codes correcteurs)
Post-docs PolSys
- Mate Soos (Résolution des systèmes booléens par SAT solvers)
- Martin Albrecht (Efficient methods for solving of algebraic equation systems with noise and applications)
- Alexandre Benoit
- Elias Tsigaridas
Cette équipe intervient dans le Master Informatique de Paris 6 (spécialité STL), et au Master parisien de recherche en informatique. Elle organise les séminaires Polsys. Elle participe aux ANR Exacta, Cac, Hpac et Geolmi.
Permanents APR en calcul formel
Doctorants
- Faiçal Bouazizi (Systèmes Polynomiaux galoisiens)
- Mamadou Koné (Plans d'expériences Optimaux)
- Guillaume Pierron (Une nouvelle approche de la parallélisation automatique de codes numériques)
- Thin Zhao (Dynamic geometry and polynomial constraints solving)
Cette équipe organise un groupe de travail et participe aux ANR GEOLMI et SGT.
Autres permanents à Paris
L'équipe s'appelle Géométrie Algébrique Réelle, Calcul Formel et Cryptographie.
Permanents
Doctorants
- Jean-Gabriel Kammerer (courbes et cryptographie)
- Matthieu Legeay (groupe de permutation de codes correcteurs)
Cette équipe intervient dans le Master de mathématiques de l'Université de Rennes 1. Elle organise un séminaire de calcul formel et complexité.
Il s'agit du projet Algorithms.
Permanents
Doctorants
- Alexandre Benoit (Algorithmique des familles de fonctions D-finies)
- Pierre Lairez (Algorithmique efficace pour la création télescopique et ses applications)
Post-docs
Anciens doctorants actuellement en post-doc
- Shaoshi Chen (Symbolic Integration: From Differential Algebra to Creative Telescoping)
- Marc Mezzarobba (Algorithmique de base des fonctions D-finies, applications à l'évaluation garantie)
Cette équipe intervient dans le Master parisien de recherche en informatique.
Elle organise le séminaire Algorithms. Elle participe au laboratoire joint Inria-Microsoft Research.
Pour l'instant, ça se résume à Alban Quadrat, membre du projet Disco, avec en ce moment aussi Georg Regensburger en post-doc.
Le calcul formel se déroule à Toulouse dans l'équipe Algorithmes, Systèmes Linéaires et Non Linéaires et Applications, et aussi un peu dans l'équipe de Mathématiques Fondamentales.
Permanents
Doctorant
- Fabien Monfreda (Aspects numériques et formels pour les équations différentielles algébriques)
Cette équipe participe au projet ANR LEDA.
L'équipe s'appelle Algèbre et Géométrie, mais il y a aussi du calcul formel dans l'équipe avec Luca de Feo.
Permanents Algèbre et Géométrie
Cette équipe intervient dans le Master d'algèbre appliquée. Elle participe à l'ANR Magix et organise un séminaire d'algèbre et géométrie.