Membres

Bordeaux

Équipe CANARI

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
Ingénieur
Post-doctorants
  • Sabrina Kunzweiler
  • Wessel van Woerden
Doctorants
  • Agathe Beaugrand, Conception de systèmes cryptographiques utilisant des groupes de classes de corps quadratiques ;
  • Élie Bouscatié, Conception d'algorithmes de chiffrement cherchable ;
  • Pierrick Dartois, Analyse de sécurité et amélioration de primitives cryptographiques post-quantiques à base d’isogénies ;
  • Amaury Durand, Geometric Gabidulin codes ;
  • Fabrice Drain, Construction de codes en métrique somme-rang
  • Fabrice Étienne,  Techniques d'induction en algorithmique pour les représentations galoisiennes;
  • Jean Gasnier, Algorithmique des isogénies et applications ;
  • Guilhem Mureau, Isomorphisme de réseaux algébriques ;
  • Raphaël Pagès, Factoring differential operators in positive characteristic), co-encadrement avec MathExp ;
  • Nicolas Sarkis, Courbes hyperelliptiques en dimension 2 pour la factorisation d'entiers et le calcul de polynômes modulaires ;
  • Anne-Edgar Wilke, Enumerating integral orbits of prehomogeneous representations.
Anciens doctorants actuellement en post-doc

Grenoble

Équipe CASC

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

Permanents
Doctorants
  • Alexis Galan

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
  • Louis Roussel

Limoges

Équipe Calcul Formel

Cette équipe organise un séminaire.

Permanents
Doctorants
  • Lucas Legrand, Équations différentielles p-adiques
  • Adya Musson-Leymarie, Réécriture algébrique sur des structures topologiques
  • Romaric Neveu, Étude des espaces carrés pour la conception d'un protocole de signature cryptographique

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 ANR NuSCAP.

Permanents
Doctorants
  • Calvin Abou Haidar
  • Orel Cosseron
  • Pouria Fallahpour
  • Joël Felderhoff
  • Antoine Gonon
  • Arthur Herledan Le Merdy
  • Alaa Ibrahim
  • Mahshid Riahinia

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 son séminaire. Elle participe aux projets ANR SANGRIA et BARRACUDA (21-26) et aux PEPR Cybersecurité SecureCompute et Cryptanalyse

Permanents

Doctorants
  • Matteo Abbondati, Tolérance aux fautes en calcul formel, approche par codes correcteurs ;
  • Ferran Alborch, Systèmes de chiffrement adaptés aux calculs sur données, passerelles et applications ;
  • Agathe Beaugrand, Conception de systèmes cryptographiques utilisant des groupes de classes de corps quadratiques ;
  • Camille Mutschler, Vulnérabilités des algorithmes post-quantiques face aux attaques physiques
  • Lucas Ottow, Conception de protocoles distribués sécurisés pour le calcul exact
Post-doctorants
  • Bastien Pacifico
Ancien.nes Doctorant.es actuellement en post-doc

Nancy

Équipe Caramba

Cette équipe intervient dans le Master Informatique de l'Université de Lorraine. Elle organise un séminaire et participe à l'ANR Kleptomaniac et aux PEPR Quantique (projet PQ-TLS) et Cybersécurité (projet cryptanalyse).

Permanents
Doctorants
  • Haetham Al Aswad (Logarithme discret dans les corps finis)
  • Marie Bolzer (Algorithmique et outils automatiques pour la construction et l'analyse de composants de cryptographie symétrique)
  • Medhi Kermaoui (Cryptanalyse quantique de cryptosystèmes à clé publique)
  • Antoine Leudière (Algorithmique des modules de Drinfeld)
  • Léo Louistisserand (Vote électronique)
  • Ana Margarita Rodríguez Cordero (Design et cryptanalyse de chiffrements à clé secrète)
  • Julien Soumier (Algorithmique des isogénies de variétés abéliennes et applications en cryptographie)

Équipe Gamble

Cette équipe est à Inria Nancy - Grand Est.

Permanent
Doctorants
  • Nuwan Herath Mudiyanselage
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 C2. Elle organise un groupe de travail sur la crypto et les codes, et intervient dans le Master parisien de recherche en informatique. L'équipe participe aux projets ANR BARACUDA, SANGRIA, CIAO, MOBIS5, à l'ANR JCJC Cola, et au Doctoral Network ENCODE.

Permanents
External Collaborators
Doctorants
  • Anaïs Barthoulot
  • Maxime Bombar
  • Clément Ducros;
  • Anaëlle Le Devehat
  • Angelo Saadeh
  • Danny Willems
Anciens doctorants actuellement en post-doc
  • Sarah Bordage (EPFL)

Équipe MathExp

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 / MathExp 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 et dans le Master d'informatique fondamentale de l'ENS de Lyon. Elle participe aux projets ANR De rerum natura et ∂IFFERENCE.

Permanents
Doctorants
  • Hadrien Brochet (Algorithmes efficaces pour les D-modules)
  • Alexandre Goyer (co-encadrement avec le LIX, Algorithmes symboliques-numériques en algèbre différentielle)
  • Alaa Ibrahim (co-encadrement avec Aric et Polsys, Preuves algorithmiques d'inégalités entre fonctions D-finies)
  • 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)

Équipe Max (Modélisation algébrique)

Cette équipe organise le séminaire SemMax. Elle participe au projet ANR OCCAM (23-26) et au projet ANR NODE (22-27).

Permanents
Doctorant
  • Yulia Mukhina

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és : Mathématiques Fondamentales et Agrégation de Mathématiques). Elle participe à l de l'AEx Locus, AEx Réal, AFRIMath, et l'ANR Galop.

Permanents
Doctorants
  • Raphael Alexandre ;
  • Thomas Espitau ;
  • Thibauld Feneuil – SU (CIFRE Cryptoexperts) ;
  • Christina Katsamaki – FSMP/INRIA ;
  • Natalia Kharchenko ;
  • Alexandre Lê – SU/INRIA (CIFRE Safran) ;
  • Andrea Negro – SU/ENS-Ulm ;
  • Camille Pinto – SU/Inria.
Post-docs
  • Aurélien Gribinski
  • Manuel Radons
  • Owen Rouillié
  • Grégoire Sergeant-Perthuis

É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
  • Robin Kouba
  • Rafael Mohr
  • River Moreira Ferreira
  • Hadrien Notarantonio (co-encadrement avec l'équipe MathExp)
  • Pierre Pébereau
  • Rémi Prébet
  • Jocelyn Ryckeghem
  • Kevin Tran
  • 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
  • Antoine Dequay, variétés abéliennes et fonctions theta ;
  • Epiphane Nouetowa, Codes tordus ;
  • Tanguy Medevielle, Codes algébriques.
ATER et Postdoc
  • Sabira El Khalfaoui (post-doc)
  • Fabien Narbonne (ATER)
  • Andreas Pieper (post-doc)
  • Ivan Pogildiakov (ATER)
Anciens doctorants actuellement en post-doc

Rouen

Équipe de l'UNIVERSITé ROUEN NORMANDIE

Cette équipe intervient dans le Master Sécurité des Systèmes Informatiques de l'Université de Rouen Normandie, au sein du LITIS. Elle participe au projet ANR PEPR PQ-TLS (Post quantum padlock for web browser).

Permanents
Doctorants
  • Charles Brion
  • Alban Gilard

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 MathExp qui se réunit à l'IHP. 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
  • Sergey Dovgal (actuellement quantitative researcher chez Squarepoint Capital)

Autres calculateurs formels

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