List of proposals
-
Reinforcement Learning for Formal Verification of Liveness in Distributed Systems,
with Ocan Sankur at Irisa, CNRS, Rennes;
-
Complexity of robust optimization in the polynomial hiearchy,
with Michael Poss at LIRMM, Montpellier;
-
Distributed Dynamic Graph Algorithms,
with Ami Paz at LISN: CNRS & Paris-Saclay University, Gif-sur-Yvette;
-
Lower bounds on provenance and counting for recursive queries,
with Antoine Amarilli at Inria Lille, Lille;
-
Re-computation and Memory Consumption in Parallelism Models for training Deep Neural Networks,
with Julien Herrmann at CNRS / IRIT / APO, Toulouse;
-
Rigorous development of database backends,
with Marc Shapiro at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France);
-
A Kubernetes-based backend for the Varda distributed programming language,
with Marc Shapiro & Alessio Pagliari at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France);
-
Verification for the Varda distributed programming language,
with Marc Shapiro at Sorbonne-Université (Campus Jussieu)— LIP6 & Inria, Paris (France);
-
Composition et communication directe entre fonctions serverless,
with Alessio Pagliari at Sorbonne-Université (Campus Jussieu)— LIP6, Paris (France);
-
Global (Graph) Transformation,
with Luidnel Maignan at https://www.lacl.fr/, Créteil, Ile de France;
-
Heterogenous Architectures For Particle Reconstruction in High Energy Physics,
with Adriano Di Florio (CC-IN2P3) at CC-IN2P3, Lyon;
-
Anomaly Detection in Link Streams,
with Maroua Bahri at Sorbonne Universite, LIP6;
-
Compression of large dynamic graphs,
with Binh-Minh Bui-Xuan at Sorbonne Université, Paris;
-
Incremental Maintenance of Queries on Dynamic Trees,
with Antoine Amarilli at Inria Lille, Lille;
-
Enumerating Simple Paths Satisfying a Regular Path Query,
with Antoine Amarilli at Inria Lille, Lille;
-
Tensorial approaches in causal discovery,
with Marianne Clausel at University of Lorraine, Nancy;
-
GenAI for causality,
with Marianne Clausel at University of Lorraine, Nancy;
-
Infering Logical Abstractions of Reaction Networks by Neural Networks ,
with Joachim Niehren at Inria Center of the University of Lille, Lille;
-
Copoints enumeration in graph convexities,
with Oscar Defrain at LIS, Aix Marseille Université, Marseille;
-
Orientations and Connectivity,
with Florian Hörsch at CISPA, Saarbrücken;
-
Inferencing Logical Abstractions of Reaction Networks by Neural Networks,
with Joachim Niehren at Inria Center of the University of Lille, Lille;
-
Utilisation des champs de Markov pour le nommage d'embryons d'ascidie,
with Gregoire Malandain at INRIA, Sophia Antipolis;
-
Développement de protocoles cryptographiques pour un vote électronique (plus) sûrs dans la vraie vie,
with Alexandre Debant at Inria, Nancy;
-
Solving diversity problems,
with Julien Baste at Université de Lille - CRIStAL, Lille;
-
Coloring graphs or digraphs,
with Ararat Harutyunyan at University Paris-Dauphine, PSL, Paris;
-
Formalisation des aspects dynamiques de lath ́eorie des bigraphes dans Coq,
with Celia Picard at ENAC, Toulouse;
-
Detecting the tool and the filter lists used by ad blocking solutions,
with Pierre Laperdrix at CNRS, Lille;
-
Development of Parameterized Algorithms for Accurate Graph Statistic Publications under Local Differential Privacy,
with Vorapong Suppakitpaisarn at The University of Tokyo, Tokyo;
-
Optimal quantization of ReLU neural networks,
with Rémi Gribonval, Elisa Riccietti at Inria, ENS Lyon, Lyon;
-
MÉTHODES MATHÉMATIQUES ET NUMÉRIQUES POUR L’ÉTUDE ET LA CONCEPTION D’ÉOLIENNES ET D’HYDROLIENNES À AXE HORIZONTAL,
with Julien Salomon at Sorbonne Université & INRIA, Paris;
-
Schema-based Property Graph Data Integration,
with Angela Bonifati at Université Claude Bernard Lyon 1 and IUF, Lyon or Grenoble;
-
Advancing Explainable AI in Medical Imaging,
with Dr. Vandana Bharti at IIT Dharwad, Dharwad;
-
Reinforcement Learning on a Diet,
with Emmanuel Rachelson at ISAE-SUPAERO, Toulouse;
-
Algorithmic and Complexity Analysis of Computational Social Choice Problems,
with Jiehua Chen at TU Vienna, Vienna;
-
The Snake Puzzle,
with Yan Gerard at LIMOS , Clermont-Ferrand (or Arles);
-
Design and Analysis of Randomized Search Heuristics,
with Benjamin Doerr at École Polytechnique, Palaiseau;
-
Balanced coloring,
with Reza NASERASR at IRIF, CNRS, Université de Paris, PARIS 13;
-
Explaining object detection models,
with misbah razzaq at INRAe, Tours;
-
Comprendre, mesurer et renforcer la résilience d’un système en cas de crise humanitaire,
with Giacomo Kahn at Université Lyon 2 -- Laboratoire DISP, Lyon;
-
Controllers in Many-sided Reactive Synthesis: a Strategic Perspective,
with Mickael Randour at F.R.S.-FNRS & UMONS, Mons, Belgium;
-
Defining nudging strategies in the specification of properties for multi-agent systems,
with Vadim Malvone at Telecom Paris, Paris;
-
Towards the verification of smart contracts,
with Vadim Malvone at Telecom Paris, Paris;
-
Defining dynamic coalitions within the specification of properties for multi-agent systems,
with Vadim MALVONE at Telecom Paris, Paris;
-
Formally Verifying Privacy in Cryptographic Protocols through Trace Properties,
with Lucca Hirschi at Inria, Nancy;
-
Dolev-Yao-Model-Guided Fuzzing of Cryptographic Protocols,
with Lucca Hirschi at Inria, Nancy;
-
Matroid-Constrained Clustering,
with Chien-Chung Huang at ENS Paris, Paris;
-
Numeric-symbolic polynomial system solving,
with Grégoire LECERF at CNRS, Palaiseau;
-
Mixed degree conditions in hypergraphs (Conditions de degrés mixtes pour la théorie extrémale des hypergraphes),
with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå;
-
Subcube intersection graphs (Graphes d'intersections de sous-cubes),
with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå;
-
Maker-Breaker Percolation Games (Jeux de percolation Maker-Breaker) ,
with Victor Falgas-Ravry at Umeå Universitet (Suède), Umeå;
-
Formal verification of security protocols,
with Charlie Jacomme at Inria, Nancy;
-
Quantum expansion testing,
with Simon Apers at Université Paris-Cité, CNRS, IRIF, Paris;
-
Intel User Interrupt Improvement,
with Alain Tchana at LIG - Grenoble INP, Grenoble;
-
Probabilistic Search Algorithms with Applications in Biology,
with Pierre Fraigniaud at CNRS, Paris ;
-
Adaptive methods for safe machine learning,
with Yassine Laguel & Samuel Vaiter at Université d'Azur, Nice;
-
Understanding the reasons of algorithmic bias,
with Jean-Michel Loubes at Artificial and Natural Intellligence Institute of Toulouse , toulouse;
-
Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level,
with Matthieu Moy at Univ. Lyon 1, Lyon;
-
DNA Computing and DNA nanotechnology,
with Prof Damien Woods at Hamilton Institute, Maynooth University, Maynooth, Ireland;
-
Theoretical and practical aspects of spectral estimation for optimal optimization algorithms design,
with Remi Gribonval at INRIA, Lyon;
-
Using deep learning to detect epileptic spike from brain activity recordings,
with Romain QUENTIN at INSERM, Lyon;
-
Approximation algorithms using hierarchies,
with Alantha Newman at G-SCOP, Grenoble;
-
Various topics in formal logic and proof assistants ,
with Yannick Forster at Inria, Paris;
-
Exploration dynamique d'espaces multidimensionnels des paramètres de modèles de systèmes complexes,
with Gilles Ardourel - Christian Attiogbé at LS2N UMR 6004 - Nantes Université, Nantes;
-
Simulator inference by machine learning,
with Istvan David at McMaster University, Hamilton, Canada;
-
Continuous Optimization models for logical constraints,
with Sonia Cafieri et Marcel Mongeau at ENAC, Toulouse;
-
Ultrasound image simulation for virtual reality surgical training ,
with Carlos Rossa at Carleton University , Ottawa;
-
Résolution de systèmes linéaires creux pour la simulation de réseaux Électriques,
with Dr. Bruned Boris at RTE, Jonage (69330), Lyon;
-
Graph Problems in Massively Parallel Computing,
with Yannic Maus at TU Graz, Graz;
-
Formal verification of the cryptographic protocol verifier ProVerif with Isabelle/HOL,
with Sophie Tourret at Inria centre at Université de Lorraine, Loria, Nancy;
-
Kernel Testing for Spatial Distributions,
with Franck Picard at CNRS ENS-Lyon, Lyon;
-
Applications of Sinkhorn's alternative scaling to quantum information theory,
with Ion Nechita at CNRS, LPT Toulouse, Toulouse;
-
Exploration by model-checking of timing anomaly cancellation in a processor,
with Lionel Rieg at VERIMAG, GRENOBLE;
-
Analyzing fault parameters triggering timing anomalies,
with Lionel Rieg at VERIMAG, GRENOBLE;
-
Finding completely independant spanning trees in transitive graphs,
with Olivier Togni at Université de bourgogne, LIB, Dijon;
-
Machine learning approaches to learn automata from their traces,
with Eric Fabre at INRIA, Rennes;
-
Policy properties for greedy adaptive submodular maximization,
with Sivan Sabato at McMaster University, Hamilton, Ontario, Canada;
-
Interactive Learning with explanations,
with Sivan Sabato at McMaster University, Hamilton, Ontario, Canada;
-
Causal explanations for embedded systems,
with Gregor Gössler at INRIA, Grenoble;
-
Formal Verification for Quantum Programming,
with Christophe Chareton, Sébastien Bardin at CEA/LIST, Palaiseau;
-
Easily generate hard instances,
with Florian Sikora at LAMSADE, Paris;
-
Privacy Analysis of Hidden-State Noisy-SGD with Applications to Sampling,
with Shahab Asoodeh at McMaster University, Hamilton;
-
Résolution de problèmes entiers paramétriques linéaires par SAT,
with Sid Touati at Université Côte d'Azur, Sophia Antipolis;
-
Parameterized Approximation Algorithms,
with Andreas Emil Feldmann at University of Sheffield, Sheffield, UK;
-
Lexicographic Enumeration of Maximal Independent Sets,
with Arnaud Labourel at LIS, Aix-Marseille Université, CNRS, Marseille;
-
Coupling formal methods and MBSE approach for the development of resilient complex systems,
with Nasrine DAMOUCHE at ISAE-SUPAERO (https://www.isae-supaero.fr/en/about-isae-supaero/the-institute/), Toulouse;
-
Formal Methods for Consistent Requirements Specification in Cyber-Physical Systems,
with Nasrine DAMOUCHE at ISAE-SUPAERO (https://www.isae-supaero.fr/en/about-isae-supaero/the-institute/), Toulouse;
-
Controllers in Many-sided Reactive Synthesis: a Strategic Perspective,
with Mickael Randour at F.R.S.-FNRS & UMONS, Mons, Belgium;
-
Spatial Modeling and Simulation: creating advanced models for with spatial features,
with Gabriel Wainer at Carleton University, Ottawa;
-
Development of Cyber-Physical systems using a discrete-event approach,
with Gabriel Wainer at Carleton University, Ottawa;
-
Patterns in combinatorial objects inspired by biological structures,
with Sergey Kirgizov at LIB, Université de Bourgogne, Dijon;
-
Formal Methods for the Verification of Self-Adapting Distributed Systems,
with Radu Iosif at VERIMAG, Grenoble;
-
Optimized Memory Representation for Algebraic Data Types,
with Gabriel Radanne at Inria, Team CASH, LIP, Lyon;
-
Formal verification of trajectories,
with Yves Bertot at Inria Université Côte d'Azur, Sophia Antipolis;
-
Allocation de registres pour langage dédié à la cryptographie,
with Sid Touati at Université Côte d'Azur, Sophia Antipolis;
-
Quantum algorithms and dynamic data structures,
with Simon Apers at CNRS, IRIF, Paris;
-
Compilation of a DSL based on transducers to SIMD optimized programs,
with Charles Paperman at CRIStAL, Université de Lille, Lille;
-
Contrastive Representation Learning in Medical Imaging,
with Pietro Gori at Telecom Paris, Paris;
-
Complexity theory with Discrete Differential Equations/Finite differences,
with Olivier BOURNEZ at ECOLE POLYTECHNIQUE (PALAISEAU), Palaiseau;
-
Characterization of complexity and computability classes with Ordinary Differential Equations Continuous time Analog machines and models of computation,
with Olivier BOURNEZ at ECOLE POLYTECHNIQUE (PALAISEAU), Palaiseau;
-
Computability and Complexity Theory for Models of Very Deep Learning,
with Olivier BOURNEZ at ECOLE POLYTECHNIQUE (PALAISEAU), Palaiseau;
-
Visualization and queries for biology in de Bruijn graphs,
with Charles Paperman at CRIStAL, Université de Lille, Lille;
-
Typing Behaviours for Elixir,
with Giuseppe Castagna at IRIF: CNRS - Université Paris Cité, Paris;
-
Reconnaissance de programmes par réseaux de neurones de graphes,
with Sid Touati at Inria, Université Côte d'Azur, Sophia-Antipolis;
-
Jeux sur automates légèrement nondéterministes/Games on mildly nondeterministic automata,
with Karoliina Lehtinen at CNRS, LIS, Aix-Marseille Université, Marseille;