List of proposals
-
Solving Differential Equations in Rocq,
with Florent Bréhard at CRIStAL, CNRS, Univ Lille, Lille;
-
Certified Symbolic-Numeric Algorithms for Connectivity on semi-algebraic sets,
with Rémi Prébet at LIP, ENS Lyon, Lyon;
-
Algorithms in Computer Assisted Proofs for Ordinary Differential Equations,
with Florent Bréhard at CRIStAL, CNRS, Univ Lille, Lille;
-
Zero-Knowledge Proofs in Networks,
with Ami PAZ at LISN - CNRS & Paris-Saclay University, Gif-sur-Yvette;
-
Smoothed Analysis of Dynamic Networks,
with Ami PAZ at LISN - CNRS & Paris-Saclay University, Gif-sur-Yvette;
-
Distributed Dynamic Graph Algorithms,
with Ami PAZ at LISN - CNRS & Paris-Saclay University, Gif-sur-Yvette;
-
Evolving large populations of adaptive neural agents in ecologically plausible environments,
with Clément Moulin-Frier at Inria, BioTiC team, Lyon;
-
Gene-regulated multicellular morphogenesis and behavior,
with Clément Moulin-Frier at Inria, BioTiC team, Lyon;
-
Reinforcement Learning for Operations Research problems,
with Bruno Gaujal at Inria and Univ. Grenoble Alpes, Grenoble;
-
Gradual and Semantic Typing for Elixir's Module System (2 internship subjects),
with Giuseppe Castagna at IRIF, Institut de Recherche en Informatique Fondamentale, Paris;
-
Extending Polymorphic Type Inference for Dynamic Languages: Gradual Typing and Efficient Implementation (2 internship subjects),
with Giuseppe Castagna at IRIF, Institut de Recherche en Informatique Fondamentale, Paris;
-
Advanced Typing of Map Data Structures in Elixir (3 internship subjects),
with Giuseppe Castagna at IRIF, Institut de Recherche en Informatique Fondamentale, Paris;
-
Concevoir un algorithme d'Analyse de Graphes pour le Diagnostic de Vulnérabilité d'Infrastructures Critiques Interdépendantes,
with Prof. Myriam Lamolle at IMT Mines Albi et IUT de Montreuil, Albi ;
-
Using precision emulation within mixed-precision algorithms,
with Theo Mary at Sorbonne Univ, CNRS, LIP6, Paris or Toulouse or Lyon (depending on the candidate's preference);
-
Approximation algorithms for classical and quantum CSPs,
with Alantha Newman at LIP, Lyon;
-
Étude et visualisation d’embeddings de graphes dynamiques appliqués aux sciences sociales,
with Ixandra Achitouv at LIP6 (Sorbonne Université / CNRS), Paris;
-
Construction de graphes de connaissances historiques à l’aide d’algorithmes de graphes, LLMs et RAG,
with Raphaël Fournier-S'niehotta at LIP6 (Sorbonne Université / CNRS), Paris;
-
Simulation de Perturbations de Réseaux,
with Matthieu Latapy at LIP6 (Sorbonne Université / CNRS), Paris ou Tours;
-
Realistic models of personal networks,
with Lionel Tabourier at LIP6 (Sorbonne Université / CNRS), Paris;
-
Développeur·se d’un système de recommandation de spectateurs,
with Jean Creusefond at Delight, Paris;
-
Space and time efficient algorithms for Satisfaction problems,
with Benjamin Bergougnoux at Aix Marseille Université, LIS, CNRS, Marseille;
-
Fast and high-quality computational imaging with simple lenses,
with Paul Escande at Institut de Mathématiques de Toulouse, Toulouse;
-
Distributional perspective of self-supervised learning,
with Titouan Vayer at Inria, Rennes;
-
Amélioration de la détection 3D d’obstacles par sonar à ultrasons dans un appareil mobile,
with Pierre Wargnier at GoSense, Lyon;
-
Mosaic : Modeling Optimal Spatial Arrangements In Crops,
with Bérénice Delcroix-Oger at IMAG - Université de Montpellier, Montpellier;
-
Verifying security protocols with exclusive-or using PROVERIF,
with Stéphanie Delaune at Univ Rennes, CNRS, IRISA - Équipe Spicy, Rennes;
-
Conception d’un langage de propriétés pour les protocoles cryptographiques en Squirrel,
with Stéphanie Delaune at Univ Rennes, CNRS, IRISA - Équipe Spicy, Rennes;
-
Méthodes symboliques pour la bi-déduction dans le contexte de la vérification de protocoles de sécurité,
with Stéphanie Delaune at CNRS, Univ Rennes, IRISA - Équipe Spicy, Rennes;
-
Reinforcement Learning in Jackson Networks,
with Céline Comte at LAAS-CNRS, Toulouse;
-
Period sets of words,
with Eric Rivals at LIRMM CNRS and Univ. Montpellier, Montpellier;
-
Learning Tree Automata,
with Adrien Pommellet at Laboratoire de Recherche de l'EPITA, Le Kremlin-Bicêtre, Paris;
-
Equivalence of Argumentation Semantics,
with Leila Amgoud at IRIT, CNRS, Toulouse;
-
Axiomatic Study of Arguments Relationships,
with Leila Amgoud at IRIT, CNRS, Toulouse;
-
Singular Euler-Maclaurin Expansion in Rocq,
with Dominik Kirst at Inria, Paris;
-
Combinatorial and computational properties of hom shifts,
with Benjamin at LISN, Université Paris-Saclay, Orsay;
-
Soundness of Rust Verification in the Presence of Safe and Unsafe Code,
with Yannick Zakowski at Inria Paris - Cambium Team, Paris;
-
Method Combinations for Programming Languages with Multiple Dispatch,
with Didier Verna at EPITA Research Lab, Le Kremlin-Bicêtre;
-
Translating Rocq or Lean proofs to Isabelle/HOL,
with Frédéric Blanqui at INRIA, Gif-sur-Yvette;
-
Encoding type systems with universes in Dedukti,
with Frédéric Blanqui at INRIA, Gif-sur-Yvette;
-
Temporal Coloring,
with Cléophée Robin at IRIF - Université Paris Cité, Paris;
-
Cooperation and Competition in Online Markets,
with Felipe Garrido-Lucero at IRIT, Université Toulouse Capitole, Toulouse;
-
Online Simulation-Based Inference for Large-Scale Scientific Models,
with Bruno Raffin at INRIA, GRENOBLE;
-
Toward Faster Algorithms for Decomposable Polynomial Systems ,
with Thi Xuan Vu at CFHP team, CRIStAL, Université de Lille, Lille, France;
-
Fairness-guided Federated Learning,
with Yassine Laguel at Université Côte d'Azur, Nice;
-
Generative methods for online adaptive deep learning training,
with Bruno Raffin at INRIA, Grenoble;
-
Python Data Processing on Supercomputers for Large Parallel Numerical Simulations. ,
with Bruno Raffin at INRIA, Grenoble;
-
Spatial Processes for Single-Cell Transcriptomics,
with Franck Picard at CNRS - ENS Lyon, Lyon / Grenoble;
-
Interpretability of Kernel Testing in Single-Cell Data Analysis,
with Franck Picard at CNRS, Lyon;
-
Développement d’une architecture de contrôle de la pose 2D d'un robot non-holonome par l’apprentissage par renforcement incluant la gestion de manœuvres et l’évitement d’obstacles,
with Mélodie DANIEL at University of Bordeaux, BORDEAUX;
-
Développement d’une architecture de contrôle en corps complet par apprentissage par renforcement pour la manipulation d’objets articulés distants,
with Mélodie Daniel at University of Bordeaux, BORDEAUX;
-
Perception multi-sensorielle et suivi temporel d’objets déformables pour la robotique agricole autonome,
with Mélodie DANIEL at Associate Professor at the University of Bordeaux, BORDEAUX;
-
Timed Argumentation Frameworks,
with Frédéric Maris at IRIT, Université de Toulouse, Toulouse;
-
Open Automata meet Choreographies,
with Cinzia Di Giusto at Université Côte d'Azur, Laboratory I3s, Sophia Antipolis;
-
Fault-tolerant scheduling strategies for iterative algorithms,
with Anne Benoit at LIP, ENS Lyon & IUF, Lyon;
-
Optimization for sparse learning at scale,
with Mathieu Besançon at Inria Grenoble, Grenoble;
-
Sparsification for Matroids ,
with Chien-Chung Huang at ENS Ulm, Paris;
-
Verifying graph neural networks,
with François Schwarzentruber at ENS de Lyon - LIP, Lyon;
-
Etude d'un algorithme paramétré pour l'optimisation de la numérotation topologique d'un graphe orienté sans circuit,
with Alix Munier at LIP6, Sorbonne Universités, Paris;
-
Stagiaire en opérateurs numériques matériels pour IA,
with Benoît Dupont de Dinechin at Kalray S.A., Montbonnot;
-
Stagiaire compilation IA basé sur MLIR,
with Benoît Dupont de Dinechin at Kalray S.A. and INRIA Corse, Grenoble;
-
A formally verified equational theory of modern regular expressions,
with Aurèle Barrière, Clément Pit-Claudel and Gabriel Radanne at CNRS, EPFL, INRIA, Lyon, France;
-
Modelling Multi-Perspective Knowledge on the Semantic Web,
with Lucía Gómez Álvarez at Inria, Grenoble;
-
From Theory to Performance: Building Efficient Reasoners for Standpoint Logic,
with Lucía Gómez Álvarez at Inria, Grenoble;
-
Generative AI Techniques for Network Management,
with Francesco Bronzino at ENS Lyon, Lyon;
-
Not yet another speedtest! Toward Internet scale measurement of network quality.,
with Francesco Bronzino at ENS Lyon, Lyon;
-
Approximating the safety value in partially observable Markov decision processes,
with Thomas Brihaye & Pierre Vandenhove at UMONS – Université de Mons, Mons, Belgium;
-
Robust K-means clustering,
with Michaël Poss at LIRMM, Montpellier;
-
AI Scientist Internship at Mistral AI ,
with Maxime Darrin (actually could be anyone at the company) at Mistral AI, Paris;
-
Circuit equational theories with control and ancillas,
with Louis Lemonnier at University of Edinburgh, Edinburgh, Scotland;
-
Neural Signed Distance Fields for 3D Object Representation,
with Guillaume Coiffier at Inria, Grenoble;
-
Neural Network Architectures for Second Order Side Channel Attacks,
with Timo Zijlstra at PQShield SAS, Paris;
-
Improving the memory footprint of MPCitH,
with Rafael del Pino at PQShield, Paris;
-
Games with Boolean combinations of energy and parity conditions,
with Aditya Prakash at LIS, Aix-Marseille Université, Marseille;
-
Improving REST API Coherence through Model-Driven Engineering and OpenAPI Enrichment,
with Stéphanie Challita at University of Rennes, Rennes;
-
Learning Optimal Regularization Parameters for Inverse Problems,
with Jonathan Chirinos-Rodríguez at IRIT, Toulouse INP, Toulouse;
-
Local extensions of type theory,
with Théo Winterhalter at INRIA Saclay, ENS Paris-Saclay, Gif-sur-Yvette;
-
Probabilities of Regular Languages of Infinite Trees,
with Paweł Parys at University of Warsaw, Warsaw, Poland;
-
Decision-Dependent Information Discovery counterpart of the Kidney Exchange Problem,
with Michaël Poss at LIRMM, Montpellier;
-
Iterated local search algorithms for adjustable robust optimization problems with discrete budget uncertainty,
with Michaël Poss at LIRMM, Montpellier;
-
Boolean Complexity for Validated Numerical Resolution of Algebraic Curve Singularities,
with Florent Bréhard at CRIStAL, Univ Lille, CNRS, Lille;
-
Mixing time of structured dense graphs,
with Rémi Watrigant at LIP & Université Claude Bernard Lyon 1, Lyon;
-
Frugal Reinforcement Learning for Stochastic Networks,
with Urtzi AYESTA at CNRS, IRIT, Toulouse;
-
Model Checking for Open Automata,
with Rabéa Ameur-Boulifa at Télécom Paris, Sophia Antipolis;
-
Reinforcement Learning with Multinomial Logistic Function approximation,
with Pierre Gaillard at Inria, Grenoble;
-
Various topics in proof assistants, programming languages, and logic ,
with Yannick Forster at Inria Paris, Team Cambium, Paris;
-
Modélisation formelle des algorithmes de protection lanceur,
with Danko Ilik at CNES, Paris;
-
Graph algorithms and numerical methods for electrical network simulations,
with Bora UÇAR at CNRS and LIP (UMR5668 CNRS - ENS de Lyon - Inria - UCBL1), Lyon;
-
Automata learning from Recurrent Networks via Clustering,
with Augustin Lemesle, Tristan Le Gall, Jaouhar Slimi at Université Paris-Saclay, CEA, List, France, Paris;
-
Memory Complexity with shared registers,
with Joffroy Beauquier at LISN (Paris-Saclay), Orsay;
-
Circuit Complexity, Reaction Networks, and Analog Computations.,
with Olivier Bournez at ECOLE POLYTECHNIQUE, Orsay;
-
Algorithmic problems for mobile agents with energy constraints,
with Evangelos Bampas at LISN, Université Paris-Saclay, Gif-sur-Yvette;
-
Conditional reasoning for mechanised cryptographic proofs,
with Joseph Lallemand at IRISA, CNRS, Rennes;
-
Modeling the present, past and future of real terrains from in-situ geological annotations,
with Guillaume Cordonnier at Inria, Sophia Antipolis;
-
Stochastic Flow Paths for Fast Hazard Simulation,
with Guillaume Cordonnier at Inria , Sophia Antipolis;
-
Multiword Arithmetic: Long-Standing Algorithms, Modern Challenges,
with Mioara Joldes at LAAS-CNRS, Toulouse;
-
Automatic proofs in projective geometry : finite projective spaces, spreads, and packings,
with Nicolas MAGAUD at ICube UMR 7357 CNRS - Université de Strasbourg, STRASBOURG;
-
A formal study of finite projective planes using Rocq,
with Nicolas MAGAUD at ICube UMR 7357 CNRS - Université de Strasbourg, STRASBOURG;
-
Source-to-source Transformations of Coq/Rocq Proof Scripts: Removing, Inlining, Expanding Tactics,
with Nicolas MAGAUD at ICube UMR 7357 CNRS - Université de Strasbourg, STRASBOURG;
-
Convolutional neural network for the segmentation of astrocytic endfeet in 2D electron microscopy images,
with Anaïs Badoual & Audrey Denizot at Inria, Rennes;
-
Intégration des approches topologiques et géométriques dans le cadre de la modélisation 3D,
with Alexandra Bac at LIS lab, Marseille;
-
Computational Differential Algebra for the Enumeration of Regular Bipartite Graphs,
with Frédéric Chyzak at Inria (Saclay), Palaiseau;
-
Analysis of biological pathway networks using artificial intelligence to better understand focal segmental glomerulosclerosis,
with Clémence REDA at IBENS, Paris;
-
Layer-Based Garment Modeling for Textile Form Weaving,
with Adrien Bousseau at Inria, Grenoble ou Sophia Antipolis;
-
Computer-Aided Sustaibale Design: Reusing decommissioned curved objects to create new surfaces,
with Adrien Bousseau at Inria Université Côte d'Azur, Sophia Antipolis;
-
Facial Animation and Expressions from 3D Scanning for VR therapeutic application,
with Antonio Capobianco at ICUBE - Université de Strasbourg, Strasbourg;
-
Generating climate extremes with stochastic models,
with David Métivier at MISTEA - INRAE, Montpellier;
-
Tensor Analysis and Modeling of Multi-Scale Energy Flows in Smart Buildings,
with Nour Murad at PIMENT laboratory, University of la Reunion, Saint Pierre, Reunion Island;
-
Modeling and Embedded Optimization of Cloud Dynamics Forecasting with Vision Transformers Applied to Sky Images for Photovoltaic Production Management,
with Nour Murad at PIMENT laboratory, University of la Reunion, Saint Pierre, Reunion Island;
-
Analyse et modélisation tensorielle des flux énergétiques multi-échelles dans les bâtiments intelligents,
with Nour Murad at PIMENT laboratory, Saint Pierre, Reunion Island;
-
Infinite-state strategies for infinite-state quantitative systems,
with Sougata Bose, Mickael Randour, Pierre Vandenhove at UMONS – Université de Mons, Mons, Belgium;
-
Formalization of Mathematics in ZFC Set Theory using the Lean 4 Proof Assistant,
with Stephan Merz at Inria Nancy & LORIA, Nancy;
-
Effective H-fields,
with Joris van der Hoeven at CNRS, Ecole polytechnique, Palaiseau;
-
SIMD acceleration of straight-line programs,
with Joris van der Hoeven at CNRS, Ecole polytechnique, Palaiseau;
-
Zero-testing for differentially algebraic transseries,
with Joris van der Hoeven at CNRS, Ecole polytechnique, Palaiseau;
-
Numerical approach to structural parameter identifiability,
with Joris van der Hoeven at CNRS, Ecole polytechnique, Palaiseau;
-
Exploiting hardware matrix accelerations in computer algebra,
with Joris van der Hoeven at CNRS, Ecole polytechnique, Chevreuse;
-
Numerical approach of generalized flatness,
with Joris van der Hoeven at CNRS, Ecole polytechnique, Chevreuse;
-
Fast evaluation of elementary functions with medium precision,
with Joris van der Hoeven at CNRS, Ecole polytechnique, Chevreuse;
-
Crash-Proof Computation,
with Mioara Joldes at LAAS-CNRS, Toulouse;
-
WQO dichotomy for homogeneous structures (experimental evaluation),
with Slawomir Lasota at University of Warsaw, Warsaw;
-
Metabolic Pathway Analysis in the Presence of Biological Constraints,
with Philippe Dague at Laboratoire Méthodes Formelles, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Gif-sur-Yvette;
-
Calcul Quantique Distribué : Algorithmes et Implémentations,
with DI MOLFETTA at Aix-Marseille Université , Marseille;
-
Agents autonomes et systèmes multi-agents génératifs,
with Maxime MORGE at LIRIS, Université Claude Bernard Lyon 1, Villeurbanne;
-
Multiomics data integration with temporal information,
with Anaïs Baudot / Benjamin Loire at Marseille Medical Genetics - Aix*Marseille Université - INSERM, Marseille;
-
Safety Analysis of Real-Time Discrete-Event and Hybrid Systems,
with Philippe Dague at Laboratoire Méthodes Formelles, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Gif-sur-Yvette;
-
Decision Procedure for Equivalence Relations,
with Pierre Corbineau at Grenoble INP - UGA - Institut d'ingénierie et de management, Grenoble;
-
Beyond worst-case for distributed graph algorithms,
with Laurent Feuilloley at CNRS, LIRIS, Lyon;
-
A New Semantics for Boolean Networks Based on Regulatory Threshold Constraints Consistency,
with Philippe Dague at Laboratoire Méthodes Formelles, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Gif-sur-Yvette;
-
Vers des preuves de théorèmes de coloration de graphes automatiques,
with Théo Pierron at LIRIS, Lyon;
-
Process calculi for partially reversible systems,
with Ivan Lanese at University of Bologna/INRIA, Bologna;
-
Querying and Sampling Feature Models through circuits,
with Pierre Bourhis at CNRS, Pierre;
-
Model-Checking Linear Dynamical Systems under Floating Point Rounding,
with Lefaucheux Engel at Inria Nancy, Nancy;
-
Optimisation du diagnostic de systèmes probabilistes,
with Lefaucheux Engel at Inria Nancy, Nancy;
-
Variants of Higher-Dimensional Automata,
with Uli Fahrenberg at LMF, Université Paris-Saclay, Gif-sur-Yvette;
-
Non-intersection graphs and operators,
with Leandro Montero at LS2N - IMT Atlantique, Nantes;
-
On the non-edge-biclique graph and the iterated non-edge-biclique operator,
with Leandro Montero at LS2N - IMT Atlantique, Nantes;
-
Indentification of new biomarkers using machine learning for multimodal muscle imaging,
with David BENDAHAN at CRMBM - CNRS, Marseille;
-
Nouvelles heuristiques d’optimisation à voisinage étendu : une approche hybride inspirée de la physique,
with David Allouche at MIAT/MATHNUM INRAE, Castanet tolosan;
-
Reasoning on the execution time of programs with Kleene Algebra with Tests,
with Patrick Baillot and Leandro Gomes at CRIStAL (CNRS, Univ de Lille, INRIA), Lille;
-
Kleene Algebra with Tests for probabilistic programs,
with Patrick Baillot and Leandro Gomes at CRIStAL (CNRS, Univ de Lille, INRIA), Lille;
-
Quantum HITS,
with Simon Apers at CNRS, IRIF, Université Paris Cité, Paris;
-
Formal Guarantees and Hardware Deployment of Quantized Neural Network Controllers: A Case Study on UAV Collision Avoidance Using ACAS Xu,
with Dorra Ben Khalifa at Fédération ENAC ISAE-SUPAERO ONERA, Université de Toulouse, Toulouse;
-
Defining dynamic coalitions within the specification of properties for multi-agent systems,
with Vadim Malvone at Telecom Paris, Paris;
-
Optimal Stopping Theory with Predictions,
with Spyros Angelopoulos at CNRS and International Laboratory on Learning Systems (ILLS), Montreal, Canada;
-
Analyzing Mean Payoff Games Using Sums-of-Squares,
with Mateusz Skomra at LAAS-CNRS, Toulouse;
-
Cryptographic Simulator Synthesis Using Program Logics,
with Adrien Koutsos at Inria, Paris;
-
Dense substructure enumeration for graph contraction,
with Hamida SEBA at Université Lyon 1, Villeurbanne;
-
Digital Health in Diabetes Care: a Computational Journey from Minipigs to Humans,
with Cédric Lhoussaine at Université de Lille, LILLE;
-
Generative AI and Argumentation,
with Bruno YUN at Universite Claude Bernard Lyon 1, CNRS, Ecole Centrale de Lyon, INSA Lyon, Université Lumière Lyon 2, LIRIS, UMR5205, 69622 Villeurbanne, France, Lyon;
-
Synthesis of Parameters for the Analysis of Opacity Properties,
with Dylan Marinho at LIP6, Sorbonne Université, Paris;
-
Geometrical and Topological Methods for Distributed Simulations,
with Emmanuel Godard at LIS - Université Aix-Marseille, Marseille;
-
Factoring integers using lattices,
with Alice Pellet-Mary at CNRS and Univ. Bordeaux, Talence (near Bordeaux);
-
Compositional reasoning for the asynchronous 𝜋-calculus,
with Givoanni BERNARDI at Université Paris CIté / IRIF, Paris;
-
Learning-based optimization of power systems,
with Victor Magron at LAAS CNRS, Toulouse;
-
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;
-
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;
-
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;
-
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;
-
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;