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''
|
 |
La liste de diffusion du groupe accueille toute information concernant le calcul formel. Son adresse est gt-calculformel@gdr-im.fr.
Les journées nationales
Le GDR les finance partiellement, tout comme il a financé les éditions récentes qui ont eu lieu
du 14 au 18 novembre 2011,
du 3 au 7 mai 2010,
du 20 au 24 octobre 2008,
du 29 janvier au 2 février 2007.
En sont issus des supports de cours très intéressants par
- Karim Belabas, Loïc Pottier, Frédéric Chyzak, Joris van der Hoeven (en 2011);
- Daniel Augot, Alin Bostan, Jean-Pierre Dedieu, Alban Quadrat (en 2010);
- Laurent Busé, Daniel Augot, Guénaël Renault, Philippe Martin et Pierre Rouchon, Jean-Michel Muller (en 2008);
- Paul Zimmermann, Mohab Safey El Din, Delphine Boucher et Jacques-Arthur Weil (en 2007).
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.
L'équipe Inria Lfant fait de la théorie algorithmique des nombres.
Permanents
Doctorants
Ingénieur
Elle participe aux ANRs Pace et
PEACE.
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 AriC du LIP (ENS Lyon).
Permanents
Doctorants
Post-Docs
- Nicolas Estibals (Génération automatique de circuits pour le calcul de couplages cryptographiques en matériel)
Anciens doctorants en post-doc
Cette équipe intervient dans le Master d'Informatique Fondamentale de l'ENS Lyon.
Elle organise le séminaire AriC et participe aux actions
ANR EVAFlo,
LaRedA, TCHATER, TaMaDi,
HPAC.
C'est au LIRMM dont voici les membres qui font du calcul formel:
Permanents
Doctorant
- Bastien Vialla (Algèbre linéaire efficace pour la factorisation et le logarithme discret)
Post-Doc
L'essentiel est dans le projet Caramel, et il y a un calculateur formel au projet Vegas: Guillaume Moroz.
Permanents Caramel
Doctorants Caramel
- 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))
Ingénieur
Ancien doctorants actuellement en post-doc
- Gaëtan Bisson (Algorithmes pour les couplages en cryptographie)
- Nicolas Estibals (Génération automatique de circuits pour le calcul de couplages cryptographiques en matériel)
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, Chic et Catrel (Crible: améliorations théoriques et résolution effective du logarithme discret).
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 trois équipes : l'équipe Max du laboratoire d'informatique de l'École polytechnique, le projet Grace joint avec l'Inria, et l'équipe Inria SpecFun.
Permanents Max
Ancien Doctorant actuellement en post-doc
- Romain Lebreton (Contributions à l’algorithmique détendue et à la résolution des systèmes polynomiaux)
Cette équipe
organise le séminaire SemMax.
Elle participe à l'ANR LEDA et au DIM MAGIX avec Digiteo.
Permanents Grace
Doctorants Grace
- 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
Anciens doctorants actuellement en post-doc
- Morgan Barbier (Décodage en liste des codes binaires, applications à la stéganographie)
Permanents SpecFun
Doctorants SpecFun
- Pierre Lairez (Algorithmique efficace pour la création télescopique et ses applications)
Anciens doctorants actuellement en post-doc
- Marc Mezzarobba (Algorithmique de base des fonctions D-finies, applications à l'évaluation garantie)
Cette équipe
organise un séminaire sur le campus de l'École polytechnique et participe au laboratoire joint Inria-Microsoft Research.
Ces trois équipes interviennent dans le Master parisien de recherche en informatique.
Le calcul formel à Paris intra muros se fait principalement dans les équipes
PolSys,
APR et
Ouragan.
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)
- 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
CAC,
EXACTA,
GeoLMI,
HPAC.
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.
Permanents Ouragan
Étudiant
Cette équipe intervient dans le Master de Mathématiques de l'UPMC-Paris 6 (spécialité éducation et formation, Agrégation de Mathématiques) Elle participe aux ANR SGT et SIROPA.
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)
- Romain Basson (Algorithmique des espaces de modules de courbes algébriques de petits genres)
- Gwezheneg Robert (Codes tordus en caractéristique O. Applications au codage Espace-Temps)
- Christophe Tran (Calcul de couplages pour les courbes elliptiques)
Un ancien doctorant en post-doc
- 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é.
Pour l'instant, ça se résume à un petit groupe sur la théorie des systèmes, le calcul formel et l'automatique:
avec un séminaire sur ces thèmes.
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
Permanents Algèbre et Géométrie
Cette équipe intervient dans le Master d'algèbre appliquée. Elle
organise un séminaire d'algèbre et géométrie.
Ils sont dans des équipes qui font majoritairement autre chose, et il en manque sans doute ici: