INTRODUCTION
Leader team: Paul DORBEC
The AMACC team is characterized by a strong cultural identity: mathematical computation. The team is interested by two generic concepts, algorithm and complexity, covering all of its research activities. It adopts complementary viewpoints. On one hand, one studies calculation models and complexity notion, through the classes of complexity. On the other hand, one works within a randomness framework, with probability models, notably using it as a tool for average-case complexity analysis.
Keywords: mathematic computation, calculation models, complexity, cellular automate, RAM machines, dynamic analysis of algorithms, Euclidian algorithms, text algorithms, bijective combinatorics, analytic combinatorics.
RESEARCH TOPICS
The main team topics articulate with three fundamental pillars: algorithm, problem, and input. In broad outline, an algorithm processes an input to solve a problem. The team works deals with these three fundamental notions for computer science, seen as mathematical objects, as well as relationships between these concepts.
FOR MORE INFORMATION
AKHAVI Ali – Associate professor, UNICAEN
CLÉMENT Julien – CNRS researcher, HDR
COURTIEL Julien – Associate professor, UNICAEN
DAVID Julien – Associate professor (LIPN/UNICAEN)
DORBEC Paul – Professor, UNICAEN
LHOTE Loïck – professor, ENSICAEN
PÉPIN Martin – Associate professor, UNICAEN
RANAIVOSON Solomanpionona – Associate professor, UNICAEN
RICHARD Gaétan – Associate professor, UNICAEN
ROUX-LANGLOIS Adeline – CNRS Research Director
TERRIER Véronique – Associate professor, HDR, UNICAEN
VANIER Pascal – Professor, UNICAEN
ACKERMANN Léo – PhD student
BERGERAT Loris – PhD student (CIFRE)
CANARD Sébastien – partner
CALLARD Antonin – PhD student
DAUPRAT Quentin – CIFRE PhD student
GRANDJEAN Etienne – Emeritus professor
KARCZMARCZUK Jerzy – Associated researcher
LECOQ Romain – PhD student
NGUYEN Thi Thu Quyen – PhD student
PAVIET SALOMON Léo – PhD student
ROBIN Cléophée – Postdoctorate
VALLÉE Brigitte – CNRS Emeritus Research Director
Projet STIC RAPA2: Groupe “Randomness and Probabilistic Analysis of Algorithms”, 2020 (France, Uruguay, Argentine).
Participation au SINFIN (Laboratoire Internationale Associé CNRS), Buenos Aires, Argentine.
ANR C_SyDiSi (Complexité des Systèmes Dynamiques Simples), porteur : Gaétan Richard, participants : Ali Akhavi, Julien Clément, Julien Courtiel, Matthieu Dien, Loïck Lhote, Véronique Terrier et Pascal Vanier.
ThemaMap project: multi-platform thematic mapping tool, distributed as open-source software. It is developed in collaboration by GREYC, SAIC-CERTIC and CRH.
Usain Boltz, by Matthieu Dien and Martin Pépin. A piece of software for efficient random generation of large data structures.
TEAM LIFE
The team also meets almost periodically in a Groupe de Lecture et de Travail (GLT).
URL: https://glt-amacc.greyc.fr/
Séminaire Algorithmique : « Eunoia: A Framework for SMT Proof Calculi », Hans-Jörg Schurr (Univ. of Iowa, USA)
20 January / 10:45 - 11:45Séminaire Algorithmique : « Revenge of the 4D: Can 4-dimensional isogenies become practical? », Pierrick Dartois (INRIA Rennes)
13 January / 10:45 - 11:45Séminaire Algorithmique : « Post-Quantum Public-Key Pseudorandom Correlation Functions for Oblivious Transfer », Mahshid Riahinia (ENS Paris et IRIF, Univ. Paris Cité)
6 January / 10:45 - 11:45Séminaire Algortihmique : « Efficient and succinct zero-knowledge arguments in the CL framework », Agathe Beaugrand (GREYC)
2 December 2025 / 10:45 - 11:45Séminaire Algorithmique : François Rioult, Abdelkader Ouali et Mehrad Nasernejad (GREYC), « Factorisation optimale (en taille) de matrice booléenne »
25 November 2025 / 10:45 - 11:45
The team has been running and organizing the weekly Algorithmics seminar for some twenty years now.