L’algorithmique et le calcul touchent à tous les aspects théoriques et pratiques, logiciels et matériels de l’informatique. Depuis une décennie, l’intelligence artificielle et l’apprentissage s’intéressent à la conception automatique d’algorithmes et de processus de calcul, guidée par les données, l’expert, l’utilisateur et/ou l’environnement.
Les principaux axes de recherche du département concernent les modèles de calcul et leur robustesse (du calcul haute performance au calcul quantique en passant par les réseaux neuronaux et les algorithmes répartis), les architectures de traitement (graphes, traitement distribué, synchrone ou asynchrone), et les méthodes (e.g., optimisation continue, combinatoire, stochastique ; apprentissage statistique et théorie de l’information). Par construction, ces axes de recherche font l’objet de collaborations avec les autres départements, en particulier Science des Données et Mécanique des Fluides-Énergétique. L’analyse et la conception des modèles et des processus font une large part aux approches mathématiques (du discret et du continu, en passant par les probabilités, les statistiques et la combinatoire) et de la physique statistique (en particulier sur les phénomènes de transition de phase des systèmes complexes), en lien avec les équipes du LMO et du CMAP (Maths et Maths. Appli), de l’IJCLab (Physique), du L2S (Traitement de Signal), ainsi qu’avec le LIX et le LMF (Méthodes formelles).
Les domaines d’applications comprennent le calcul scientifique (e.g., algèbre linéaire, calcul tensoriel, optimisation numérique, systèmes dynamiques, simulation d’algorithmes quantiques, mathématiques et physique computationnelles, systèmes d’équations différentielles), le calcul distribué (e.g., cloud, ordonnancement, monnaie virtuelle, informatique ubiquitaire, robots autonomes, circuits micro-biologiques), et l’analyse des données.
Benjamin Hellouin de Menibus, Mathieu Sablik. Characterisation of sets of limit measures of a cellular automaton iterated on a random configuration. Ergodic Theory and Dynamical Systems, 2016, 38 (2), pp.601-650. ⟨10.1017/etds.2016.46⟩. ⟨hal-01299001⟩
Nathalie Aubrun, Julien Esnay, Mathieu Sablik. Domino Problem Under Horizontal Constraints. STACS 2020 37th International Symposium on Theoretical Aspects of Computer Science, 2020, Montpellier, France. ⟨10.4230/LIPIcs.STACS.2020.26⟩. ⟨hal-02380657⟩
Stijn Cambie, François Dross, Kolja Knauer, Hoang La, Petru Valicov. Partitions of planar (oriented) graphs into a connected acyclic and an independent set. 2024. ⟨hal-04840861⟩
Hugo Gabrielidis, Filippo Gatti, Stephane Vialle. Pipeline for Semantic Segmentation of Large Railway Point Clouds. Intelligent Data Engineering and Automated Learning – IDEAL 2024, Lecture Notes in Computer Science, 15346, Springer Nature Switzerland, pp.167-179, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-77731-8_16⟩. ⟨hal-04811058⟩
Nathalie Aubrun, Nicolás Bitar. Self-Avoiding Walks on Cayley Graphs Through the Lens of Symbolic Dynamics. The Electronic Journal of Combinatorics, 2024, 31 (4), pp.P4.24. ⟨10.37236/13065⟩. ⟨hal-04807272⟩
Pierre Fraigniaud, Minh Hang Nguyen, AmiArchitectures et modèles pour l'Interaction Paz. Brief Announcement: Agreement Tasks in Fault-Prone Synchronous Networks of Arbitrary Structures. DISC 2024, 2024, Madrid, Spain. ⟨10.4230/LIPIcs.DISC.2024.47⟩. ⟨hal-04799395⟩
Leyla Biabani, AmiArchitectures et modèles pour l'Interaction Paz. k-Center Clustering in Distributed Models. SIROCCO 2024, May 2024, Vietri sul Mare, Italy. pp.83-100, ⟨10.1007/978-3-031-60603-8_5⟩. ⟨hal-04799381⟩
Pierre Fraigniaud, AmiArchitectures et modèles pour l'Interaction Paz. The topology of local computing in networks. Journal of Applied and Computational Topology, 2024, 8 (4), pp.1069-1098. ⟨10.1007/s41468-024-00185-6⟩. ⟨hal-04799384⟩
AmiArchitectures et modèles pour l'Interaction Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid, Kyrill Winkler. The Time Complexity of Consensus Under Oblivious Message Adversaries. Algorithmica, 2024, 86 (6), pp.1830-1861. ⟨10.1007/s00453-024-01209-4⟩. ⟨hal-04799403⟩
AmiArchitectures et modèles pour l'Interaction Paz, Liat Peterfreund. Playing Guess Who with your kids: Code-word strategy against adversaries. Theoretical Computer Science, 2024, 1016, pp.114766. ⟨10.1016/j.tcs.2024.114766⟩. ⟨hal-04799401⟩
Nathalie Aubrun, Michael Schraudner. Tilings of the hyperbolic plane of substitutive origin as subshifts of finite type on Baumslag–Solitar groups BS ( 1 , n ). Comptes Rendus. Mathématique, 2024, 362 (G5), pp.553-580. ⟨10.5802/crmath.571⟩. ⟨hal-04727536⟩
Nicolas Atienza, Roman Bresson, Cyriaque Rousselot, Philippe Caillou, Johanne Cohen, et al.. Cutting the Black Box: Conceptual Interpretation of a Deep Neural Net with Multi-Modal Embeddings and Multi-Criteria Decision Aid. IJCAI-24 – Thirty-Third International Joint Conference on Artificial Intelligence, Aug 2024, Jeju, South Korea. pp.3669-3678, ⟨10.24963/ijcai.2024/406⟩. ⟨hal-04728875⟩
Thomas Bellitto, Johanne Cohen, Bruno Escoffier, Nguyen Minh Khang, Mikaël Rabie. Canadian Traveller Problems in Temporal Graphs. ArXiv. 2024. ⟨hal-04677440⟩
Manon Blanc, Olivier Bournez. The Complexity of Computing in Continuous Time: Space Complexity Is Precision. International Colloquium on Automata, Languages, and Programming (ICALP), Jul 2024, Tallinn Estonia, Estonia. ⟨10.4230/LIPIcs.ICALP.2024.129⟩. ⟨hal-04664615⟩
Pierre Béaur. Algorithmique et combinatoire des mots par les représentations S-adiques. Mathématique discrète [cs.DM]. Université Paris-Saclay, 2024. Français. ⟨NNT : 2024UPASG033⟩. ⟨tel-04661982⟩
Nicolás Bitar. Subshifts of Finite Type on Groups : Emptiness and Aperiodicity. Dynamical Systems [math.DS]. Université Paris-Saclay, 2024. English. ⟨NNT : 2024UPASG034⟩. ⟨tel-04635844⟩