Le groupe de travail Calcul Formel
du GDR Informatique Mathématique
AccueilMembresActivitésDistinctions

Le but de cette page est de lister, par zone géographique, les équipes de recherche (qui ont accepté d'y être présentées) où intervient le calcul formel en France, avec en particulier les doctorants et leurs sujets. Pour certaines équipes, seuls les membres les plus impliqués dans le calcul formel apparaissent ici.

Bordeaux


Équipe Inria Lfant (Lithe and Fast Algorithmic Number Theory)


L'équipe Inria Lfant fait de la théorie algorithmique des nombres. Elle organise un séminaire, bénéficie de l'ANR FLAIR et participe au Projet européen OpenDreamKit.

Permanents

Doctorants

Ingénieur

Anciens doctorants actuellement en post-doc

Grenoble


Équipe CASYS (Calculs Algébriques et Systèmes Dynamiques)


Cette équipe organise un séminaire. Elle intervient dans les masters 2 de Mathématiques Appliquées et de Master Cybersécurité. Elle participe au projet européen H2020 OpenDreamKit.

Permanents

Doctorants

  • Nicolas Bordes (Symmetric primitives of low multiplicative complexity, side-channel attacks and masking)

  • Thomas Camus (Computational geometry of numbers, cohomology of modular groups, certified computations and applications)

  • David Lucas (Calculs algébriques certifiés et tolérants aux fautes)

  • Jean-Baptiste Orfila (Architecture de sécurité et protocoles cryptographiques pour les systèmes de contrôle-commande)

Ingénieurs

  • Alexis Breust

  • Hongguang Zhu

Anciens doctorants actuellement en post-doc

  • Mohamed Amin Ben Sassi (U. of Colorado)

  • Burak Ekici (U. Iowa.)

  • Pierre-Olivier Lamare (Inria Sophia)

  • Pierre-Jean Meyer (KTH)

  • Ying Tang (Centre de Recherche en Automatique de Nancy)

Lille


Équipe Calcul Formel et Haute Performance


L'équipe fait partie du Groupe Thématique CO2 du laboratoire CRIStAL de l'Université Lille 1.

Elle organise un séminaire dédié au calcul formel. Ses thèmes principaux sont le traitement symbolique des systèmes dynamiques; la modélisation en biologie; le développement d'une algorithmique numérique adaptée aux architectures exascale à venir; le développement d'algorithmes efficaces pour les calculs algébriques.

Permanents

Anciens doctorants actuellement en post-doc

  • Claire Delaplace


Équipe GAIA (Géométrie, Algèbre, Informatique et Applications)


Permanents

Doctorants

  • Grace Younes (calcul de multiplicités de racines de polynômes et de quasi-polynomes)

Post-Docs

Limoges


Équipe Calcul Formel


Cette équipe organise un séminaire.

Permanents

Doctorants

  • Ali El Hajij (Méthodes symboliques pour l'étude de systèmes linéaires d'équations différentielles et de récurrences découplées)

  • Joelle Saadé (Wei Norman forms and their applications)

  • Hoang Van Duc (Free form method for 3D images representation and segmentation)

Lyon


Équipe AriC


L'équipe appartient au LIP (ENS Lyon) et intervient dans le Master d'Informatique Fondamentale de l'ENS Lyon. Elle organise le séminaire AriC et participe aux actions ANR Dyna3S, FastRelax. Elle bénéficie aussi de l'ERC LATTAC.

Permanents

Doctorants

Post-Doctorants

Anciens doctorants actuellement en post-doc

Montpellier


Équipe ECO (Exact COmputing)


Cette équipe est au LIRMM. Elle intervient dans le Master Informatique de l'Université de Montpellier au sein des parcours MIT et MSI, et organise un séminaire conjoint avec l'équipe ESCAPE du LIRMM.

Permanents

Doctorants

Nancy


Équipe Caramba


Cette équipe intervient dans le Master Informatique de l'Université de Lorraine. Elle organise un séminaire.

Permanents

Doctorants

  • Gabrielle de Micheli (2018-)

  • Paul Huynh (2017-)

  • Aude Le Gluher (2018-)

  • Simon Masson (2018-)

  • Sandra Rasoa (2017-)

Post-docs


Équipe Gamble


Cette équipe est à Inria Nancy - Grand Est.

Permanent

Doctorant

  • Sény Diatta (Topologie des courbes algébriques réelles et des surfaces)

Nice-Sophia Antipolis


Équipe AROMATH (AlgebRa, geOmetry, Modeling and AlgoriTHms)


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 au réseau européen ARCADES.

Permanents

Doctorants

  • Elisa Berrini (Geometric models for simulation and shape optimization)

  • Ahmed Blidia (New geometric models for the design and computation of complex shapes)

  • Jouhayna Harmouch (co-tutelle avec le Liban, Low rank Hankel matrix completion and applications)

  • Alvaro Javier Fuentes Suarez (Skeleton paradigm for intuitive modelling of complex shapes)

  • Fatmanur Yildirim (Distances between points, rational Bézier curves & surfaces by means of matrix-based implicit representations)

Post-docs

Anciens Doctorants actuellement en post-doc

  • Marta Abril Bucero (Moment matrices, real algebraic geometry and polynomial optimization)

  • Angelos Mantzaflaris (Robust algebraic method for geometric computation)

Palaiseau


Équipe GRACE


GRACE participe à l'organisation du séminaire CCA. Elle organise un groupe de travail sur la crypto et les codes, et intervient dans le Master parisien de recherche en informatique.

Permanents

Doctorants

  • Élise Barelli (Étude de la structure multiplicative des codes alternants géométriques et applications à la cryptographie basée sur les codes)

  • Nicolas Duhamel (Advanced algorithms for Abelian and Kummer surfaces in Asymmetric Cryptology and Number Theory)

  • Julien Lavauzelle (Codes localement décodables/testables et applications à la construction de preuves cryptographiques interactives)

Post-docs

Ingénieur

  • Nicholas Coxon


Équipe Max (Modélisation algébrique)


Cette équipe organise le séminaire SemMax, et intervient dans le Master parisien de recherche en informatique.

Permanents

Doctorants

  • Robin Larrieu (Fast finite field arithmetic)


Équipe SpecFun


Cette équipe organise un séminaire sur le campus de l'École polytechnique et intervient dans le Master parisien de recherche en informatique.

Permanents

Post-docs

Paris


Équipe APR (Algorithms, Programs and Resolution)


Cette équipe co-organise le groupe d'utilisateurs de Sage et Python Scientifique en région parisienne.

Permanents

Doctorants

  • Faiçal Bouazizi (Systèmes Polynomiaux galoisiens)

  • Guillaume Pierron (Une nouvelle approche de la parallélisation automatique de codes numériques)

  • Marzie Boroujeni (Bases de Gröbner et invariants), en co-encadrement avec l'université de Damghan (Iran)


Équipe Ouragan (Outils de Résolution Algébriques pour la Géométrie et ses ApplicatioNs)


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 bénéficie de l'ERC AlmaCrypt.

Permanents

Doctorants

  • Thomas Espitau

  • Natalia Kharchenko

  • Mahya Mehrabdollahei

  • Sudarshan Shinde

  • Robin Timsit

Post-docs

  • Anand Kumar Naranayan


Équipe Pequan (Performance and Quality of Numerical Algorithms)


Permanents


Équipe PolSys (Polynomial Systems)


Cette équipe intervient dans le Master Informatique de Paris 6 (spécialité SPFN), et au Master parisien de recherche en informatique. Elle organise les séminaires Polsys.

Permanents

Doctorants

  • Matías Bender

  • Ulrick Severin (Calcul Haute Performance des Bases de Gröbner et Applications)

Anciens Doctorants actuellement en post-doc

Rennes


Équipe Géométrie et Algèbre effectives


Cette équipe intervient dans le Master de mathématiques de l'Université de Rennes 1. Elle organise un séminaire.

Permanents

Doctorants

  • Rémi Clarisse (Conception de courbes elliptiques et étude de leur sécurité)

  • Elie Eid (Cryptographie à base d'isogénies en genre supérieur)

  • Vincent Narbonne (Aspects effectifs des courbes de genre 3)

  • Ba Du Pham (Étude et conception de nouvelles primitives de chiffrement fondées sur les codes correcteurs d'erreur en métrique rang)

  • Andy Russon (Problème du logarithme discret sur les courbes elliptiques)

Anciens Doctorants actuellement en post-doc

  • Türkü Özlüm Çelik (Max Planck Institute Mathematics in the Sciences in Leipzig, Research Group in Nonlinear Algebra)

Toulouse


Équipe MIP


Permanents

Versailles


Équipe Algèbre et Géométrie


Cette équipe intervient dans le Master mathématiques et applications de Paris-Saclay. Elle organise un séminaire d'algèbre et géométrie.

Permanents


Équipe CRYPTO


Cette équipe intervient dans le Master mathématiques et applications de Paris-Saclay.

Permanent

Doctorant

  • Édouard Rousseau (Arithmétique efficace pour la cryptographie et la cryptanalyse)

Villetaneuse


Équipe CALIN


Permanents

Autres calculateurs formels

Ils sont dans des équipes qui font majoritairement autre chose :

Directeur de publication : Grégoire Lecerf, directeur de recherche au CNRS, laboratoire d'informatique de l'École polytechnique.

École polytechnique, route de Saclay, 91128 Palaiseau Cedex.

Courriel : lecerf@lix.polytechnique.fr