List of proposals
-
Phd Position F/M Uncertainty for mobile robots,
with Colas Francis at Inria, Villers-lès-Nancy ;
-
HAGARICE (Harnessing Argumentation Graphs in Augmented Reality for Immersive Co-Creation and Exploration),
with Bruno YUN at Université Claude Bernard, Lyon 1, Lyon;
-
Physics-informed Machine Learning for Defect Detection in Medical Microbatteries,
with Lauriane Contamin et Pierre Gaillard at InjectPower et INRIA, Grenoble;
-
Explainability in Machine Learning with Graph Neural Networks,
with Pierre BORGNAT at CNRS, Laboratoire de Physique, ENS de Lyon, Lyon;
-
Neural networks with no priviledged basis,
with Aurélien Garivier at ENS de Lyon, Lyon;
-
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é Côte d'Azur, Nice;
-
Refinement Types for Liveness Properties in Context Denotational Semantics,
with Colin Riba at LIP - ÉNS de Lyon, Lyon;
-
Understanding the reasons of algorithmic bias,
with Jean-Michel Loubes at Artificial and Natural Intellligence Institute of Toulouse , toulouse;
-
Setting up an observer of an encrypted communication to detect anomalies,
with Loïc Desgeorges at Laboratoire de l'Informatique du Parallélisme (LIP), Lyon;
-
Setting up an observer of a network of controller to detect anomalies,
with Loïc Desgeorges at Laboratoire de l'Informatique du Parallélisme (LIP), Lyon;
-
Zero-Knowledge proofs and applications (threshold signatures, confidential transactions, secure data management etc.),
with Matthieu Rambaud & Weiqiang Wen & Pierre-Alain Fouque at Télécom Paris & IRISA Rennes & IUF, Palaiseau or Rennes;
-
Bias reduction in galaxy observations,
with Jenny Sorce, Pierre Fortin and Florent Bréhard at CRIStAL, CNRS, Université de Lille, Villeneuve d'Ascq;
-
Validated Numerical Software For Algebraic Curves With Singularities,
with Adrien Poteaux and Florent Bréhard at CRIStAL, Université de Lille, CNRS, Villeneuve d'Ascq;
-
How to make a temporal graph connected?,
with Bruno Escoffier at LIP6, Sorbonne Université, Paris;
-
Setting up a secure multicontroller SDN architecture,
with Loïc Desgeorges at Laboratoire de l'Informatique du Parallélisme (LIP), Lyon;
-
Automatic Classification of Knowledge Domains for Lexicographic Entries,
with Julien Velcin at Université Lyon 2, Lyon;
-
Differential privacy for spatial point processes,
with Coeurjolly Jean-François at Univ. Grenoble Alpes, Laboratory Jean Kuntzmann, Grenoble;
-
Continuous testing for the Ripley's K-function of spatial point processes,
with Coeurjolly Jean-François at Univ. Grenoble Alpes, Laboratory Jean Kuntzmann, Grenoble;
-
Tatouage de logiciels,
with Patrick Lacharme at laboratoire GREYC, Université de Caen, Ensicaen, UMR CNRS 6072, Caen;
-
Formalizing Hardware Security Mechanisms: interrupts, MMU and SMT proofs ,
with Pierre Wilke at CentraleSupélec, Rennes;
-
Formalizing Hardware Security Mechanisms: a new HDL for modular hardware proofs ,
with Pierre Wilke at CentraleSupélec, Rennes;
-
Formalizing RISC-V Enclaves ,
with Pierre Wilke at CentraleSupélec, Rennes;
-
Dynamique des fluides astrophysiques et géophysiques - Simulations numériques,
with Isabelle Baraffe at University of Exeter (et CRAL-ENS-Lyon), Exeter (UK);
-
Security Analysis of RISC-V Processors in the Open Source Era,
with Damien Couroussé at CEA List, Grenoble;
-
Computability over partially ordered sets,
with Mathieu Hoyrup at Inria Nancy, Nancy;
-
Probabilistic properties and AI safety,
with Eric Goubault and Sylvie Putot at LIX, Ecole Polytechnique, Palaiseau;
-
Probabilistic uncertainties and analysis of quantum programs,
with Eric Goubault and Sylvie Putot at LIX, Ecole Polytechnique, Palaiseau;
-
Physics Informed Neural Networks for lake pollution forecast,
with David Métivier at MISTEA - INRAE, Montpellier;
-
CS Internship: Portable High-Performance Ocean Simulations,
with Martin SCHREIBER at Université Grenoble Alpes / Inria / Laboratoire Jean Kuntzmann, Grenoble;
-
CS/AM Internship: MPI parallelization of the SWEET PDE solver code,
with Martin SCHREIBER at Université Grenoble Alpes / Inria / Laboratoire Jean Kuntzmann, Grenoble;
-
CS/AM Internship: Using Machine Learning to Accelerate PDE solvers,
with Martin SCHREIBER at Université Grenoble Alpes / Inria / Laboratoire Jean Kuntzmann, Grenoble;
-
CS Internship: Modern Graphical User Interface for the SWEET PDE solver code,
with Martin SCHREIBER at Université Grenoble Alpes / Inria / Laboratoire Jean Kuntzmann, Grenoble;
-
AM Internship: Portable High-Performance Ocean Simulations,
with Martin SCHREIBER at Université Grenoble Alpes / Inria / Laboratoire Jean Kuntzmann, Grenoble;
-
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;
-
Type-based security properties assurance in the Rust-based Redox operating system,
with Louis Rilling at DGA, Rennes;
-
Validated Numerics and Formal Proof for Differential Equations,
with Florent Bréhard, Damien Pous and Nicolas Brisebarre at CNRS, CRIStAL, Université de Lille + CNRS, LIP, ENS de Lyon, Lille;
-
Conditioning of the Roots of a Random Polynomial,
with Guillaume Moroz at Université de Lorraine, CNRS, Inria, LORIA, Nancy;
-
Plane projection of a smooth curve,
with Guillaume Moroz and Marc Pouget at Université de Lorraine, CNRS, Inria, LORIA, Nancy;
-
Décroissance numérique : quels écosystèmes logiciels pour l’informatique écoresponsable ?,
with Matthieu Moy at UCBL, Lyon;
-
Impact environnemental du numérique : étudier le passé pour anticiper le futur ?,
with Matthieu Moy at UCBL, Lyon;
-
Semi-Decentralized Federated Learning,
with Giovanni NEGLIA at Inria, Sophia Antipolis;
-
Lighting-Aware Radiance Field Inpainting,
with George Drettakis at Inria, Centre Université Côte d'Azur, Sophia-Antipolis;
-
Surfel-Based Neural-Inspired Global Illumination,
with George Drettakis at Inria, Centre Université Côte d'Azur, Sophia-Antipolis;
-
Efficient algorithms for video shot detection,
with Julien Baste at Université de Lille, Lille;
-
Improvement of graph-based algorithms for image analysis,
with Julien Baste at Université de Lille, Lille;
-
Implementation of a TEE on a RISC-V embedded processor,
with Pascal Cotret at ENSTA Bretagne, Brest;
-
Structural Design with Elastic Ribbons,
with Florence Bertails-Descoubes at Inria, Grenoble;
-
Rolling instabilities of elastic ribbons,
with Florence Bertails-Descoubes at Inria, Grenoble;
-
Fracture of fibrous materials,
with Victor Romero at Inria, Grenoble;
-
Étude numérique d'assemblées de fibres naturellement courbées,
with Florence Bertails-Descoubes at Inria, Grenoble;
-
Tensor and polynomial optimisation for quantum information networks,
with Victor Magron at LAAS CNRS & Toulouse Mathematics Institute, Toulouse;
-
Topology Design for Decentralized Federated Learning,
with Giovanni Neglia et Aurélien Bellet at Inria, Nice (Sophia-Antipolis);
-
Theoretical and practical aspects of spectral estimation for optimal optimization algorithms design,
with Remi Gribonval at INRIA, Lyon;
-
Modélisation et Analyse de Traces de Mobilités,
with Matthieu Latapy at LIP6 (Sorbonne Université / CNRS), Paris;
-
Filtering for interactive systems,
with Géry Casiez at Loki (Inria Lille – Nord Europe & CRIStAL) - Univ. Lille, Lille;
-
Numerical optimization of periodic inflatable materials,
with Mélina Skouras at Inria, Grenoble;
-
Curved folding with inflatables,
with Mélina Skouras at Inria, Grenoble;
-
Using deep learning to detect epileptic spike from brain activity recordings,
with Romain QUENTIN at INSERM, Lyon;
-
Numerical modelling of granular avalanches through a forest of deformable pillars,
with Thibaut METIVET at Inria (ELAN team), Grenoble;
-
Ordonnancement de graphes de tâches pour réduire la consommation mémoire moyenne,
with Loris Marchal at CNRS, Lyon;
-
Multimodal representation learning,
with Mathieu Lefort at Univ Lyon 1 - LIRIS, Villeurbanne;
-
Bio-inspired audio-visual fusion on robots,
with Mathieu Lefort at Univ Lyon 1 - LIRIS, Villeurbanne;
-
Modeling of psychophysical data from active audio-visual fusion,
with Mathieu Lefort at Univ Lyon 1 - LIRIS, Villeurbanne;
-
Fault-tolerant numerical iterative algorithms at scale,
with Anne Benoit and Emmanuel Agullo at ROMA team, LIP, ENS Lyon & CONCACE team, Inria Bordeaux, Lyon;
-
Mixed precision algorithms for low-rank approximations,
with Alfredo Buttari at IRIT, Toulouse;
-
Financement de la recherche : place des entreprises et de la société civile,
with Matthieu Latapy at LIP6 (Sorbonne Université / CNRS), Paris;
-
Measuring event impact and propagation in the internet,
with Lionel Tabourier at LIP6 (Sorbonne Université / CNRS), Paris;
-
Solving sparse linear systems with modular and adaptive mixed precision Krylov methods,
with Theo Mary at Sorbonne Université, CNRS, LIP6, Paris;
-
Solving large sparse linear systems with mixed precision domain decomposition methods,
with Theo Mary at Sorbonne Université, CNRS, LIP6, Paris;
-
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;
-
Testing preorders for asynchronous processes,
with Giovanni Bernardi at IRIF, Paris;
-
Differential privacy for federated learning in Cosmetical Science. Application to safety data.,
with Philippe Bastien at L'Oréal R&I, Aulnay-sous-Bois;
-
Simulator inference by machine learning,
with Istvan David at McMaster University, Hamilton, Canada;
-
UNIFORM DOMINATION IN GRAPHS,
with François Pirot at LISN, Gif sur Yvette;
-
Utilisation de l’apprentissage par renforcement pour améliorer les missions d’une flotte de drones en prenant en compte les communication radio,
with Isabelle Guérin Lassous at Univ. Lyon 1 - ENS Lyon / LIP, Lyon;
-
Study of the limits of a centralized control of a fleet of UAVs,
with Isabelle Guérin Lassous at Univ. Lyon 1 / LIP, Lyon;
-
Performance Evaluation of Admission Policies for Edge Compute Systems,
with Francesco Bronzino at ENS Lyon, Lyon;
-
Stressing systems security through on the fly network traffic generation,
with Francesco Bronzino at ENS Lyon, Lyon;
-
Ghost dependent types,
with Théo Winterhalter at INRIA Saclay, Gif-sur-Yvette;
-
Languages of Higher Dimensional Automata,
with Jérémy Ledent at IRIF, Université Paris Cité, Paris;
-
Approximation hierarchies for quantum entanglement detection,
with Victor Magron at LAAS CNRS & Toulouse Mathematics Institute, Toulouse;
-
Reconstruction de mots par requêtes avec poids,
with Matthieu Rosenfeld at LIRMM, Montpellier;
-
Modeling the present, past and future of real terrains from in-situ geological annotations,
with Guillaume Cordonnier at Centre Inria d'Université Côte d'Azur, Sophia-Antipolis;
-
Distributed Graph Coloring Revisited,
with Ami Paz at LISN - CNRS & Paris-Saclay University, Gif-sur-Yvette;
-
Arbres de défaillances et formes normales exp-log,
with Danko Ilik at CNES Direction du transport spatial, Paris;
-
Composability and Data Partitioning in High Performance Computing,
with Christian Perez at Inria, Lyon;
-
Learning Whittle Index Policies and Application in Stochastic Scheduling,
with Nicolas Gast at Inria, Univ. Grenoble Alpes, Grenoble;
-
Online Algorithms with Budget and Equity Contraints,
with Nicolas Gast at Inria, Univ. Grenoble Alpes , Grenoble;
-
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;
-
Quasi-Cyclic Quantum Error Correcting Codes for Quantum Rotors,
with Christophe Vuillot at Inria, Nancy;
-
Perturbations du Trafic Maritime par des Mouvements Sociaux,
with Matthieu Latapy at LIP6 (Sorbonne Université / CNRS), Paris;
-
Casser des Graphes,
with Matthieu Latapy at LIP6 (Sorbonne Université / CNRS), Paris;
-
ISD algorithms and AVX512 instruction set,
with Pascal Veron at Laboratoire IMath, Université de Toulon, Toulon;
-
Sparsification of Artificial Neural Networks and the Multidimensional Random Subset Sum Problem,
with Emanuele Natale at INRIA d'Université Côte d'Azur, Sophia Antipolis;
-
Résolution de systèmes linéaires creux pour la simulation de réseaux électriques,
with Dr. Bruned Boris at RTE, Jonage (69330), Lyon;
-
Distributed Dynamic Graph Algorithms,
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;
-
Sample Complexity Bounds for Differentially Private Machine Learning,
with Hassan Ashtiani at McMaster University, Hamilton;
-
Graph Problems in Massively Parallel Computing,
with Yannic Maus at TU Graz, Graz;
-
Entropic uncertainty relations and semi device-independent quantum key distribution,
with Andreas Bluhm at Univ. Grenoble Alpes, CNRS, Grenoble INP, LIG, Grenoble;
-
Compilation prouvée sécurisée vers processeur RISC-V,
with Bruno Ferres at VERIMAG/UGA, Grenoble;
-
Analyse topologique de mouvements de grains dans une séquence d’images 3D,
with Yukiko Kenmochi, Nicolas Passat at GREYC, CNRS, Caen;
-
Butterfly Sparse Matrix Factorization for Regularized Optimal Transport,
with Titouan Vayer at Inria, Lyon;
-
Formal verification of the cryptographic protocol verifier ProVerif with Isabelle/HOL,
with Sophie Tourret at Inria centre at Université de Lorraine, Loria, Nancy;
-
A diagram editor to help mechanise categorical proofs in Coq,
with Ambroise Lafont at Ecole Polytechnique, Palaiseau;
-
Bowyer-Watson Algorithm for Delaunay Triangulation on Hyperbolic Surfaces,
with Vincent Despré at INRIA LORIA, Nancy, France;
-
Kernel Testing for Spatial Distributions,
with Franck Picard at CNRS ENS-Lyon, Lyon;
-
Pi-calculus, references and implicit complexity,
with Daniel Hirschkoff at École Normale Supérieure de Lyon, Lyon;
-
Numerical approach to structural parameter identifiability,
with Gleb Pogudin at Ecole Polytechnique, Palaiseau;
-
Semantics of inductive-inductive types,
with Ambroise Lafont at Ecole Polytechnique, Palaiseau;
-
Studying lattice problems for cryptography,
with Alice Pellet-Mary at CNRS and Univ. Bordeaux, Talence (banlieu de Bordeaux);
-
Clique of tournaments ,
with Pierre Aboulker and Pierre Charbit at ENS Ulm, Paris;
-
Efficient algorithms for enumeration problems in graphs,
with Pierre BERGE at LIMOS, CNRS, Université Clermont Auvergne, Clermont-Ferrand;
-
Modeling the Interaction Between Microalgae and Bacteria,
with Matthias Fuegger at ENS Paris-Saclay, Gif-sur-Yvette;
-
Formal Rules for Plasmid Design,
with Matthias Fuegger at ENS Paris-Saclay, Gif-sur-Yvette;
-
How Many Growth Curves are Enough?,
with Thomas Nowak at ENS Paris-Saclay, Gif-sur-Yvette;
-
Symmetric Neural Networks for Symmetric Problems,
with Thomas Nowak at ENS Paris-Saclay, Gif-sur-Yvette;
-
A Balancing Act with Numerics and Computer-Aided Proofs: the case study of Equilibrium Measures,
with Mioara Joldes at CNRS, LAAS-CNRS , Toulouse;
-
Tensor networks and quantum max flow - min cut,
with Ion Nechita at CNRS, LPT Toulouse, Toulouse;
-
Applications of Sinkhorn's alternative scaling to quantum information theory,
with Ion Nechita at CNRS, LPT Toulouse, Toulouse;
-
Fast and Globally Optimal Motion Planning with Distance-Geometric Formulations of Robot Kinematics,
with Matthew Giamou at McMaster University, Hamilton, Ontario, Canada;
-
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;
-
Consommation de ressources par les programmes réactifs fonctionnels,
with Jules Chouquet at Université d’Orléans — Laboratoire d’Informatique Fondamentale d’Orléans (LIFO), Orléans;
-
Machine learning approaches to learn automata from their traces,
with Eric Fabre at INRIA, Rennes;
-
First order logic and fix-point: Modeling opacity control problems in terms of logic,
with hervé Marchand (Logica, CR, Inria) at IRISA, 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;
-
Design and analysis of tensor decomposition algorithms,
with Pascal Koiran at ENS de Lyon, Lyon;
-
Quantum Programming Language with Inductive Types,
with Emmanuel Hainry at LORIA, Université de Lorraine, Inria Nancy Grand Est, Nancy;
-
Injectivity of the Taylor expansion of λ-terms,
with Lionel Vaux Auclair at I2M, Aix Marseille Université, Marseille;
-
Verifying timed cybersecurity properties using formal methods,
with Lefaucheux Engel at Inria Nancy et LIPN Paris, Nancy ou Paris;
-
Towards an infinitary probabilistic λ-calculus,
with Lionel Vaux Auclair at I2M, Aix Marseille Université, Marseille;
-
Toposes de De Morgan,
with Morgan Rogers at LIPN, Paris;
-
Causal explanations for embedded systems,
with Gregor Gössler at INRIA, Grenoble;
-
Optimal stopping theory with predictions,
with Christoph Dürr at CNRS and LIP6, Sorbonne University, Paris;
-
Formal Verification for Quantum Programming,
with Christophe Chareton, Sébastien Bardin at CEA/LIST, Palaiseau;
-
Characterizing the geometry of data and optimization landscapes in machine learning settings endowed with structures,
with Massinissa HAMIDI at IBISC, Université Évry Paris-Saclay, Paris;
-
Behavioural Distances for Higher-Order Languages with Continuous Probabilities.,
with Raphaëlle Crubillé at LIS (Laboratoire d'Informatique et Systèmes), Aix-Marseille Université, CNRS, Marseille;
-
Optimal transportation approaches to learning multivariate extreme quantiles,
with Sabourin Anne at MAP5, Université Paris Cité, Paris;
-
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;
-
Standpoint Logic: Multi-perspective Reasoning,
with Lucia Gomez Alvarez at Inria, Grenoble;
-
Confluence in active objects,
with Ludovic Henrio at CNRS -- LIP, Lyon;
-
Résolution de problèmes entiers paramétriques linéaires par SAT,
with Sid Touati at Université Côte d'Azur, Sophia Antipolis;
-
Ordres universels pour le voyageur de commerce,
with Louis Esperet at G-SCOP, CNRS, Université Grenoble Alpes, Grenoble;
-
Program Invariant Generation with a Large Language Model,
with Simon Robillard at LIRMM, Université de Montpellier, Montpellier;
-
Parameterized Approximation Algorithms,
with Andreas Emil Feldmann at University of Sheffield, Sheffield, UK;
-
Querying graphs with regular expressions,
with Victor Marsault at CNRS & Université Gustave Eiffel, Champs-sur-Marne;
-
Parameterized Synthesis via Data Word Automata, Logics and Games,
with Pierre-Alain Reynier at Aix Marseille University, Bruxelles et/ou Marseille;
-
Lexicographic Enumeration of Maximal Independent Sets,
with Arnaud Labourel at LIS, Aix-Marseille Université, CNRS, Marseille;
-
Characterizing structural risk minimization in machine learning settings with structures like IoT,
with Aomar OSMANI at Laboratoire LIPN-UMR CNRS 7030, Université Sorbonne Paris Nord, Paris;
-
Garbage collection in conflict free replicated data types,
with Istvan David at McMaster University, Canada, Hamilton, Canada;
-
Architecting self-inferring digital twins,
with Istvan David at McMaster University, Canada, Hamilton, Canada;
-
Interoperable digital twins,
with Istvan David at McMaster University, Canada, Hamilton, Canada;
-
Approximate computing for simulation,
with Istvan David at McMaster University, Canada, Hamilton, Canada;
-
Using LLMs to infer ontological properties of system design documents,
with Istvan David at McMaster University, Canada, Hamilton, Canada;
-
Reinforcement learning and uncertainty,
with Istvan David at McMaster University, Canada, Hamilton, Canada;
-
EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY,
with David DEHARBE at CLEARSY, AIX-EN-PROVENCE;
-
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;
-
Vérification de propriétés dynamiques pour un modèle hybride de contrôle d'une épidémie,
with DELAHAYE Benoît at LS2N Nantes Université, Nantes;
-
Integrating software energy monitoring in the development workflow,
with Adel Noureddine at Université de Pau et des Pays de l'Adour, Pau;
-
Controllers in Many-sided Reactive Synthesis: a Strategic Perspective,
with Mickael Randour at F.R.S.-FNRS & UMONS, Mons, Belgium;
-
Supporting non-developers in testing Web APIs,
with Stéphanie Challita at University of Rennes, Rennes;
-
Machine learning for Code Completion,
with Stephane Ducasse & Romain Robbes (LABRI) at INRIA - Lille, Lille;
-
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;
-
Effective and Generalizable Training Environment for Autonomous Cyber Network Operations,
with Thomas Kunz at Carleton University, Ottawa, Canada;
-
Design of a computing router for computing in network,
with Kevin Martin at Université Bretagne-Sud / Laboratoire Lab-STICC, Lorient;
-
DEvelopment of a decision tool for Gene regulatory networks Inference experimental design and analysis (DEGI),
with Mikaël LUCAS at Institut de Recherche pour le Développement , MONTPELLIER;
-
Complexité d'espace en énumération,
with Yann Strozecki at Université de Versailles (Paris Saclay), Versailles;
-
Jeu stochastique simple sur des graphes décomposables,
with Yann Strozecki at Université de Versailles (Paris Saclay), Versailles;
-
CFG Patterns: A new tool to formally verify optimisations in Vellvm,
with Gabriel Radanne at Inria, Team CASH, LIP, Lyon;
-
Semantics and Implementation of Actors in Multicore OCaml,
with Gabriel Radanne at Inria, Team CASH, LIP, Lyon;
-
Optimized Memory Representation for Algebraic Data Types,
with Gabriel Radanne at Inria, Team CASH, LIP, Lyon;
-
Modélisation dynamique du développement embryonnaire humain,
with Carito Guziolowski at Ecole Centrale de Nantes, Nantes;
-
Biodiversification inference with graph neural networks,
with Laurent Jacob at CNRS, Sorbonne Université, Paris;
-
Differential search of DNA motifs with graphs walks : applications in biology,
with Benjamin Linard at INRAE, Mathematics and Computer Sciences Departement, MIAT Unit, Toulouse;
-
Recherche de k-mers sur graphe de pangénome dans un contexte de requêtes divergentes,
with Benjamin Linard at INRAE, Mathematics and Computer Sciences Departement, MIAT Unit, Toulouse;
-
Query-Directed Width Measures for Probabilistic Graph Homomorphisms,
with Mikaël Monet at INRIA, Lille;
-
Analyses statiques pour l'observabilité de l'ordre d'évaluation en OCaml,
with Benoit Montagu at Inria, Rennes;
-
Going beyond the 1-2-3 Conjecture,
with Hervé Hocquard at LaBRI, Université de Bordeaux, Bordeaux;
-
Unconstrained sparse polynomial optimization,
with Matías Bender at INRIA - CMAP, École polytechnique, IPP, Paris, France;
-
Reasoning over Bounded First-Order Logic Ontologies,
with David Carral at Inria, Montpellier;
-
Formal verification of trajectories,
with Yves Bertot at Inria Université Côte d'Azur, Sophia Antipolis;
-
Acyclic sets in oriented planar graphs,
with Alexandre Pinlou, Petru Valicov at LIRMM, Univesité de Montpellier, Montpellier;
-
Open Automata meet Session Types,
with Ludovic Henrio at CNRS -- LIP, Lyon;
-
Privacy-preserving SQL answers,
with J.-F. Couchot at Institut FEMTO-ST, UMR 6174 CNRS, Université de Franche-Comté, France, Besançon;
-
Allocation de registres pour langage dédié à la cryptographie,
with Sid Touati at Université Côte d'Azur, Sophia Antipolis;
-
Modules and Circular Dissimilarities,
with Pascal Préa at Laboratoire Informatique & Systèmes, LIS, CNRS UMR 7020, Marseille;
-
On the convergence of iterative sampling methods and the detection of meta-stable states in dynamical systems,
with Frederic Cazals at Centre Inria d'Université Côte d'Azur, Sophia-Antipolis;
-
A monadic approach to ressource calculus,
with Marie Kerjean at CNRS, Villetaneuse ;
-
Algorithms for Searching Electric Vehicle Charging Stations,
with Mahdi Moeini at ENSIIE and research lab. SAMOVAR (IP Paris), Evry;
-
Optimizing Pilot Training Plans,
with Mahdi Moeini at ENSIIE and SAMOVAR (IP Paris), Evry;
-
Generative models in medical imaging,
with Hugues Talbot at CentraleSupelec, Université Paris-Saclay, Inria, Gif sur Yvette;
-
Liver cancer diagnosis and prognosis from MRI data,
with Hugues Talbot at CentraleSupelec, Université Paris-Saclay, Inria, Gif sur Yvette;
-
Reasoning on the execution time of programs with Kleene Algebra with Tests,
with Patrick Baillot at CRIStAL, CNRS/Université de Lille, Lille;
-
Apprentissage par renforcement pour la régulation de puissance de parc éolien dans le cadre de la stabilité du réseau électrique,
with Jiamin ZHU at IFP Energies nouvelles (IFPEN), Rueil-Malmaison;
-
Quantum algorithms and dynamic data structures,
with Simon Apers at CNRS, IRIF, Paris;
-
Méta-modèles combinant simulations numériques et mesures pour la détection de panaches et la remontée à la source à l’aide de drones,
with Stéphane Jay at IFP Energies Nouvelles, Rueil-Malmaison;
-
Apprentissage pour des entrées fonctionnelles,
with Céline Helbert at Centrale Lyon, Lyon;
-
Wait-free algorithms for consensus number 2 concurrent objects,
with Alessia Milani, Hagit Attiya at Laboratoire d’Informatique et Systèmes (LIS - UMR CNRS 7020), Aix-Marseille University, Marseille, Campus Luminy;
-
Semantics and types for synchronous programming with state machines in a multi-periodic setting,
with Patrick Baillot, Julien Forget, Sylvain Salvati at CRIStAL, CNRS/Université de Lille, Lille;
-
Greedy algorithms for computing the Birkhoff decomposition,
with Bora UCAR at CNRS and LIP, ENS de Lyon, Lyon;
-
Algebraic structures in dependent type theory,
with Assia Mahboubi at Inria, Nantes;
-
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;
-
Fine-grained complexity of query answering,
with Nofar Carmeli at Inria, LIRMM, Montpellier;
-
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;
-
Recherche efficace et sans apprentissage de motifs spatio-temporels dans des grands cubes de données satellites,
with François MERCIOL at IRISA, Vannes;
-
Typing Behaviours for Elixir,
with Giuseppe Castagna at IRIF: CNRS - Université Paris Cité, Paris;
-
Mixed degree conditions for hypergraphs,
with Victor Falgas-Ravry at Umeå Universitet (Sweden/Suède), Umeå;
-
Random subcube intersection graphs,
with Victor Falgas-Ravry at Umeå Universitet (Sweden/Suède), Umeå;
-
Maker–Breaker percolation games,
with Victor Falgas-Ravry at Umeå Universitet (Sweden/Suède), Umeå;
-
Optimisation du diagnostic de systèmes probabilistes,
with Lefaucheux Engel at Inria Nancy, Nancy;
-
Model-Checking Linear Dynamical Systems under Floating Point Rounding,
with Lefaucheux Engel at Inria Nancy, Nancy;
-
Classification des packings de l’espace projectif fini PG(3,3),
with Nicolas Magaud at Lab. ICube UMR 7357 CNRS Université de Strasbourg, France, Strasbourg;
-
Recherche efficace et sans apprentissage de motifs spatio-temporels dans des grands cubes de données satellites,
with François MERCIOL at IRISA, Vannes ;
-
Exploration of temporal graphs,
with Viktor Zamaraev at University of Liverpool, Liverpool;
-
Fast evaluation of elementary functions with medium precision,
with Marc Mezzarobba at CNRS, LIX, École polytechnique, Palaiseau;
-
Sparse interpolation of rational functions,
with Grégoire Lecerf at CNRS, Palaiseau;
-
Reconnaissance de programmes par réseaux de neurones de graphes,
with Sid Touati at Inria, Université Côte d'Azur, Sophia-Antipolis;
-
Reliable numerical integration,
with Grégoire Lecerf at CNRS, Palaiseau;
-
Compilation Certifiée Générique de Sémantiques Squelettiques,
with Alan Schmitt at INRIA, Rennes;
-
Treillis de Tamari et arbres de parking / Tamari lattice and parking trees,
with Bérénice Delcroix-Oger at IMAG, Université de Montpellier, Montpellier;
-
Jeux sur automates légèrement nondéterministes/Games on mildly nondeterministic automata,
with Karoliina Lehtinen at CNRS, LIS, Aix-Marseille Université, Marseille;
-
Descriptive complexity of topological invariants,
with Mathieu Hoyrup at Inria Nancy, Villers-lès-Nancy;
-
Making Coq Proofs More Reliable and More Easily Reusable,
with Nicolas Magaud at Lab. ICube UMR 7357 CNRS Université de Strasbourg, France, Strasbourg;
-
Mapping communication resources and end-users in a hybrid Wi-Fi/5G networks,
with Thomas Begin, Anthony Busson, Isabelle Guérin Lassous at UCBL, ENS Lyon, cnrs, Inria, Lyon;
-
Allouer efficacement les canaux radio Wi-Fi par la recherche de propriétés dans les graphes sous-jacents,
with Rémi Watrigant, Thomas Begin, Anthony Busson at UCBL, ENS Lyon, cnrs, Inria, Lyon;
-
Evaluating the opportunity for WLANs to apply an energy-saving mechanism on one of their frequency bands in the aim of providing both high throughput and low energy services,
with Thomas Begin, Loïc Desgeorges, Isabelle Guérin Lassous at UCBL, ENS Lyon, cnrs, Inria, Lyon;