Enseignant-Chercheur
AAC
Algorithmes, Apprentissage et Calcul
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.
Coordination
Actualités
-
A0, Fait marquant
Best paper Award IEEE International Conference on e-Science
-
Dernières publications
-
Communication dans un congrès
Pierre Fraigniaud, Minh Hang Nguyen, AmiArchitectures et modèles pour l'Interaction Paz. A Simple Lower Bound for Set Agreement in Dynamic Networks. 2025 Symposium on Simplicity in Algorithms (SOSA), Jan 2025, New Orleans, United States. pp.253-262, ⟨10.1137/1.9781611978315.20⟩. ⟨hal-05403931⟩
-
Traduction
Pierre Jehel, Stéphane Vialle. Collaborative Platform for Railway Projects – Business Needs Analysis and Their Formalization as Functional Requirements. 2023. ⟨hal-05371720⟩
-
Thèse
Sylvain Joube. Portable Performance for High Throughput Computing. Other [cs.OH]. Université Paris-Saclay, 2025. English. ⟨NNT : 2025UPASG063⟩. ⟨tel-05418502⟩
-
Pré-publication, Document de travail
Uri Meir, AmiArchitectures et modèles pour l'Interaction Paz. Smoothed Analysis of Dynamic Graph Algorithms. 2025. ⟨hal-05405516⟩
-
Communication dans un congrès
Hagit Attiya, Pierre Fraigniaud, AmiArchitectures et modèles pour l'Interaction Paz, Sergio Rajsbaum. On the Existence of Extension-Based Proofs of Impossibility for Set-Agreement. SIROCCO 2025 – Structural Information and Communication Complexity, Jun 2025, Delphi, Greece. pp.56-73, ⟨10.1007/978-3-031-91736-3_4⟩. ⟨hal-05403686⟩
-
Communication dans un congrès
Hagit Attiya, Pierre Fraigniaud, AmiArchitectures et modèles pour l'Interaction Paz, Sergio Rajsbaum. Solvability Characterization for General Three-Process Tasks. PODC ’25: ACM Symposium on Principles of Distributed Computing, Jun 2025, Huatulco, Mexico. pp.488-498, ⟨10.1145/3732772.3733548⟩. ⟨hal-05403672⟩
-
Article dans une revue
Hao Li, Luyi Li, Ping Li, Xueliang Li. Rainbow directed version of Dirac’s theorem. Discrete Mathematics, 2025, 348 (8), pp.114506. ⟨10.1016/j.disc.2025.114506⟩. ⟨hal-05392101⟩
-
Thèse
Hugo Thimonier. Advancing Anomaly Detection in Tabular Data : A Case-Study on Credit Card Fraud Identification. Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2024. English. ⟨NNT : 2024UPASG046⟩. ⟨tel-05351694⟩
-
Article dans une revue
Tianjiao Dai, Hao Li, Yannis Manoussakis, Qiancheng Ouyang. Properly colored cycles in edge-colored complete graphs. Discrete Mathematics, 2025, 348 (6), pp.114403. ⟨10.1016/j.disc.2025.114403⟩. ⟨hal-05392100⟩
-
Pré-publication, Document de travail
Joffroy Beauquier, Aijia Guan. Pool Games. 2025. ⟨hal-05372921⟩
-
Pré-publication, Document de travail
Avinandan Das, Pierre Fraigniaud, AmiArchitectures et modèles pour l'Interaction Paz, Adi Rosén. Semi-Streaming Algorithms for Graph Property Certification. 2025. ⟨hal-05381544⟩
-
Thèse
Valentin Dardilhac. Vote mechanisms and solution of inequation systems with real variables. Computational Complexity [cs.CC]. Université Paris-Saclay, 2025. English. ⟨NNT : 2025UPASG045⟩. ⟨tel-05300167⟩
-
Communication dans un congrès
Pierre Fraigniaud, Minh Hang Nguyen, AmiArchitectures et modèles pour l'Interaction Paz. Agreement Tasks in Fault-Prone Synchronous Networks of Arbitrary Structure. 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), Mar 2025, Jena, Germany. ⟨10.4230/LIPIcs.STACS.2025.34⟩. ⟨hal-05249104⟩
-
Communication dans un congrès
Atte Torri, Przemysław Dominikowski, Brice Pointal, Oguz Kaya, Laércio Lima Pilla, et al.. Near-Optimal Contraction Strategies for the Scalar Product in the Tensor-Train Format. Euro-Par 2025 – 31 International European Conference on Parallel and Distributed Computing, Aug 2025, Dresden, Germany. pp.63-77, ⟨10.1007/978-3-031-99872-0_5⟩. ⟨hal-05285400⟩
-
Proceedings/Recueil des communications
Quentin Delamea, Janna Burman, Jerome Gurhem, Mohamed Khairallah, Wilfried Kirschenmann, et al.. Cloud-Agnostic Serverless Platform for Fault-Tolerant Execution of Dynamic Task Graphs. 2025 IEEE Cloud Summit, Jun 2025, Washington DC, United States. IEEE, pp.39-45, 2025, ⟨10.1109/Cloud-Summit64795.2025.00014⟩. ⟨hal-05265233⟩
-
Communication dans un congrès
Johanne Cohen, Emmanuel Goutierre, Hayg Guler, Fatios Kapotos, Sida-Bastien Li, et al.. Modelling Dynamical Systems: Learning ODEs with No Internal ODE Resolution. 18th International Conference, RP 2024, Sep 2025, Vienne, Austria. pp.221-237, ⟨10.1007/978-3-031-72621-7_15⟩. ⟨hal-05240753⟩
-
Article dans une revue
Tianjiao Dai, Qiancheng Ouyang, François Pirot. New Bounds for Odd Colourings of Graphs. The Electronic Journal of Combinatorics, 2024, 31 (4), pp.P4.57. ⟨10.37236/12110⟩. ⟨hal-05246159⟩
-
Proceedings/Recueil des communications
Olivier Bournez, Johanne Cohen, Adrian Wurm. A Universal Uniform Approximation Theorem for Neural Networks. 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), Aug 2025, Varsovie, Poland. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025, ⟨10.4230/LIPIcs.MFCS.2025.29⟩. ⟨hal-05241833⟩
-
Communication dans un congrès
Nicolas Atienza, Johanne Cohen, Christophe Labreuche, Michele Sebag. Provably Safeguarding a Classifier from OOD and Adversarial Samples. 13th International Conference on Learning Representations – ICLR 2025, Apr 2025, Singapore, Singapore. pp.56800-56820. ⟨hal-05241867⟩
-
Thèse
Manon Blanc. Discrete-Time and Continuous-Time Systems over the Reals : Relating Complexity with Robustness, Length and Precision. Computational Complexity [cs.CC]. Institut Polytechnique de Paris, 2025. English. ⟨NNT : 2025IPPAX024⟩. ⟨tel-05118950⟩
-
Communication dans un congrès
Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët. Universe Detectors for Sybil Defense in Ad Hoc Wireles Networks. International Conference on Stabilization, Safety, and Security (SSS 2008), Nov 2008, Detroit, MI, United States. pp.63-78, ⟨10.1007/978-3-540-89335-6_8⟩. ⟨hal-01303007⟩
-
Article dans une revue
Amanda Pelegrin Candemil, Hugo Gabrielidis, Filippo Gatti, Benjamin Salmon, Matheus Oliveira, et al.. Diagnostic performance of artefact-reduced cone-beam CT images using a generative adversarial neural network. Expert Systems with Applications, In press, 296 (Part B), pp.128907. ⟨10.1016/j.eswa.2025.128907⟩. ⟨hal-05157692⟩
-
Thèse
Nicolas Atienza. Towards Reliable ML : Leveraging Multi-Modal Representations, Information Bottleneck and Extreme Value Theory. Machine Learning [stat.ML]. Université Paris-Saclay, 2025. English. ⟨NNT : 2025UPASG025⟩. ⟨tel-05140441⟩
-
Communication dans un congrès
Manon Blanc, Olivier Bournez. Quantifiying the robustness of dynamical systems. Relating time and space to length and precision. Computer Science Logic CSL’24, Feb 2024, Naples, Italy. pp.17:1-17:20, ⟨10.4230/lipics.csl.2024.17⟩. ⟨hal-04303119⟩
-
Communication dans un congrès
Djamel Eddine Amir, Benjamin Hellouin de Menibus. Minimality and computability of languages of G-shifts. ICALP 2025, Aarhus University, Jul 2025, Aarhus, Denmark. ⟨hal-05117426⟩
-
Article dans une revue
Pierre Fraigniaud, AmiArchitectures et modèles pour l'Interaction Paz, Sergio Rajsbaum. A speedup theorem for asynchronous computation with applications to consensus and approximate agreement. Distributed Computing, 2025, 38, pp.163-183. ⟨10.1007/s00446-025-00480-0⟩. ⟨hal-05114147⟩
-
Pré-publication, Document de travail
Gabrielidis Hugo, Filippo Gatti, Vialle Stephane. Physics-Based Super-Resolved Simulation of 3D Elastic Wave Propagation Adopting Scalable Diffusion Transformer. 2025. ⟨hal-05044913⟩
-
Logiciel
Pierre Thomas Froidevaux, Alexandre Blondin-Massé, Chiara Marmo, Jérémy Neveu, Jean Privat, et al.. Travo. 2025, ⟨swh:1:dir:25c53be9cb372dca46dc311c114c9d961127225b;origin=https://gitlab.com/travo-cr/travo;visit=swh:1:snp:5f0faa62d3619f576a8a041c609ac66820f54a80;anchor=swh:1:rev:fd9302aab27cb93dc1ef24b3ab13a3da163564ca⟩. ⟨hal-05030605⟩
-
Communication dans un congrès
Felipe Furquim, Valentin Dardilhac, Daniel Cordeiro, Johanne Cohen. Characterizing Strategyproofness Through Score Functions in Voting Mechanisms. Frontiers of Algorithmics (IJTCS-FAW 2025), Jun 2025, Paris, France. pp.279-292, ⟨10.1007/978-981-96-8312-3_21⟩. ⟨hal-05040764⟩
-
Article dans une revue
Julien Rauch, Damien Rontani, Stéphane Vialle. Data clustering on hybrid classical-quantum NISQ architecture with generative-based variational and parallel algorithms. Journal of Systems Architecture, In press, Special Issue on Architecture of Computing Systems Conference 2024, 165, pp.103431. ⟨10.1016/j.sysarc.2025.103431⟩. ⟨hal-05040633⟩