Membres

Bordeaux

Équipe Lfant

Cette équipe fait de la théorie algorithmique des nombres. Elle organise un séminaire, et participe aux projets ANR CIAO, Clap-Clap, Charm (21-25), Melodia (20-24) Nuscap (21-25) et SANGRIA (21-25).

Permanents
Doctorants
  • Jared Asuncion (Class fields of CM-fields)
  • Agathe Beaugrand (Conception de systèmes cryptographiques utilisant des groupes de classes de corps quadratiques)
  • Élie Bouscatié (Conception d'algorithmes de chiffrement cherchable)
  • Amaury Durand (Geometric Gabidulin codes)
  • Raphaël Pagès (Factoring differential operators in positive characteristic), co-encadrement avec SpecFun.
  • Anne-Edgar Wilke (Enumerating integral orbits of prehomogeneous representations)
Ingénieur
Anciens doctorants actuellement en post-doc

Grenoble

Équipe CAS3C3

L'équipe organise un séminaire. Elle intervient dans le Master Cybersécurité. Elle participe à l'ANR SANGRIA.

Permanents
Doctorants
  • Nicolas Bordes
  • Hippolyte Signargout (cotutelle avec l’équipe Aric)
  • Florentina Soiman

Lille

Équipe Calcul Formel et Haute Performance

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

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
Doctorants
  • Pierrick Pochelu
  • David Redon

Limoges

Équipe Calcul Formel

Cette équipe organise un séminaire.

Permanents
Doctorants
  • Maxime Bros (Computation of Algebraic Relations for Multivariate Polynomials to study the Security of Rank-based Cryptosystems)
  • 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)
  • Lucas Legrand
  • Jingchuan Xiao

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, participe au projet européen H2020 Prometheus, au projet ANR NuSCAP, ainsi qu'au projet BPI Risq.

Permanents
Doctorants
  • Calvin Abou Haidar
  • Orel Cosseron
  • Julien Devevey
  • Pouria Fallahpour
  • Joël Felderhoff
  • Antoine Gonon
  • Huyen Nguyen (Mathematical properties of lattices of cryptographic interest)
  • Mahshid Riahinia
  • Hippolyte Signargout (en co-encadrement avec l'équipe CAS3C3)
Post-Doctorants
  • Fabrice Mouhartem (Cryptographie protégeant la vie privée avec des fonctionnalités avancées)

Montpellier

Équipe ECO (Exact COmputing)

L'équipe ECO (Exact COmputing) est au LIRMM. Elle intervient dans le Master Informatique de l'Université de Montpellier au sein du parcours Algo et organise un séminaire conjoint avec l'équipe ESCAPE du LIRMM. Elle participe aux projets ANR SANGRIA et BARRACUDA.

Permanents

Doctorants
Anciens doctorants actuellement en post-doc

Nancy

Équipe Caramba

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

Permanents
Doctorants
  • Haetham Al Aswad
  • Antoine Leudière
  • Ana Margarita Rodríguez Cordero
  • Quentin Yang (2020-)

Équipe Gamble

Cette équipe est à Inria Nancy - Grand Est.

Permanent
Doctorants
Anciens doctorants actuellement en post-doc

Nice - Sophia Antipolis

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

Cette équipe intervient dans le Master de mathématiques de l'Université Côte d'Azur et le master MDFI de Luminy. Elle organise un séminaire et anime les deux réseaux européens Marie Skłodowska-Curie Innovative Training Network POEMA et GRAPES.

Permanents
Doctorants
  • Lorenzo Baldi (Structure of moment problems and applications to polynomial optimization)
  • Ayoub Belhachmi (Construction interactive de modèles 3D — Application à la modélisation des structures géologiques complexes)
  • Ahmed Blidia (New geometric models for the design and computation of complex shapes)
  • Riccardo Di Dio (Building a diagnosis tool to detect broncho-constrictions)
  • Rima Khouja (Tensor decomposition, best approximations, algorithms and applications)
  • Mehran Hatamzadeh (An innovative gait analysis technology)
  • Thomas Laporte (Towards a 4D model of the respiratory system)
  • Pablo Gonzalez Mazon (Generation of valid high-order curved meshes)
  • Michelangelo Marsala (Modelling and simulation using analysis-suitable subdivision surfaces and solids)
  • Tobias Metzlaff (Multivariate orthogonal polynomials and applications to global optimization)
  • Erick Rodriguez Bazan (Symmetry in Algebraic Computations)
Doctorants encadrés à Athènes
Post-docs encadrés à Athènes

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
  • Maxime Bombar
  • Sarah Bordage
  • Isabella Panaccione
  • Mathilde Chenu
  • Lucas Benmouffok
  • Antonin Leroux
  • Angelo Saadeh
  • Alexis Challande
  • Maxime Anvari
  • Simon Montoya
  • Maxime Romeas
  • Youssef El Housni
Post-docs

Équipe SpecFun

Cette équipe organise un séminaire sur le campus de l'École polytechnique, et participe à l'organisation d'un groupe de travail « Transcendance et combinatoire » et d'un « Séminaire différentiel ». Elle co-organise le séminaire joint Polsys / SpecFun qui a lieu alternativement sur le campus Pierre-et-Marie-Curie et celui de l'École polytechnique. Elle intervient dans le Master parisien de recherche en informatique. Elle participe aux projets ANR De rerum natura et ∂IFFERENCE.

Permanents
Doctorants
  • Alexandre Goyer (co-encadrement avec le LIX, Algorithmes symboliques-numériques en algèbre différentielle)
  • Rafael Mohr (co-encadrement avec PolSys et Kaiserslautern, Fast Groebner Bases Algorithms for Ideal Theoretic Computations in Commutative Algebra)
  • Hadrien Notarantonio (co-encadrement avec PolSys, Geometry-driven algorithms for the effcient solving of combinatorial functional equations)
  • Raphaël Pagès (co-encadrement avec l'IMB, Factorisation des opérateurs différentiels en caractéristique positive)
  • Éric Pichon-Pharabod (co-encadrement avec le CEA, Périodes en géométrie algébrique : calculs et application aux intégrales de Feynman)
  • Sergey Yurkevich (en co-tutelle avec U. Vienna, Suites entières issues de la théorie des nombres, de la combinatoire et de la physique)

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 et de l'ANR Galop.

Permanents
Doctorants
  • Raphael Alexandre
  • Thomas Espitau
  • Christina Katsamaki
  • Natalia Kharchenko
  • Mahya Mehrabdollahei
  • Sudarshan Shinde
  • Grace Younes
Post-docs
  • Irene Pasquinelli

É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 co-organise le séminaire joint Polsys / SpecFun qui a lieu alternativement sur le campus Pierre-et-Marie-Curie et celui de l'École polytechnique.

Permanents
Doctorants
  • Andrew Ferguson
  • Jorge García Fontán
  • Rafael Mohr
  • Hadrien Notarantonio (co-encadrement avec l'équipe SpecFun)
  • Rémi Prébet
  • Jocelyn Ryckeghem
  • Trung Hieu Vu
Post-doctorants et ATER
  • Huu Phuoc Le
  • Georgy Scholten
Anciens Doctorants actuellement en post-doc
  • Matías Bender (Germany)
  • Olive Chakraborty
  • Thibaut Verron (Johannes Kepler University, à Linz)
  • Thi Xuan Vu

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é)
  • 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)
ATER et Postdoc
  • Elie Eid
  • Anna Somoza
Anciens doctorants actuellement en post-doc

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, et co-organise le groupe de travail « Transcendance et combinatoire » avec l'équipe SpecFun. Elle participe au projet projet ANR De rerum natura.

Permanents

Villetaneuse

Équipe CALIN

Cette équipe organise un séminaire « Combinatoire, algorithmique et interactions », et intervient dans le Master parisien de recherche en informatique.

Permanents
Anciens doctorants actuellement en post-doc

Autres calculateurs formels

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