Internships 2018/2019

  1. Anonymous and Colored Asynchronous Computability
    Prof. Petr Kuznetsov
  2. Control of Adaptive Systems using Game Theory
    Ocan Sankur, Herve Marchand (Inria Rennes - Irisa)
    2.8.1, 2.8.2, 2.6, 2.9.1, 2.9.2,
  3. Development of a new cryo - electron micr oscopy image analysis approach to conformational variability of biomolecular complexes
    Slavica JONIC, Sorbonne Université, 75005 Paris
  4. Development of a new cryo - electron tomography (cryo - ET) image analysis approach to conformational variability of biomolecular complexes
    Slavica JONIC, Sorbonne Université, 75005 Paris
  5. Advanced Post-Quantum Symmetric Cryptanalysis
    María Naya-Plasencia - Inria, Paris
    2.13.2, 2.34.2
  6. Verification of machine learning models
    Nathanaël Fijalkow, LaBRI (Bordeaux)
    Théorie des automates, Apprentissage, Systèmes Dynamiques, Théorie des jeux, Vérification, Interprétation Abstraite
  7. Mean Field Optimal Control for Multi-Armed Bandit Problems
    Nicolas Gast, Patrick Loiseau (Inria Grenoble)
  8. Development of software for prediction of drug toxicity
    Maria A. Miteva, Directeur de recherche Inserm, Faculté de Pharmacie de Paris, 4 av de l'Observatoire 75270 Paris cedex 06
  9. Towards Efficient Big Data Management with Transient Storage Systems
    Gabriel Antoniu - Inria, Rennes
    2.26.2, 2.37.1
  10. HPC-Big Data convergence at processing level by bridging in-situ/in-transit processing with Big Data analytics
    Alexandru Costan, Gabriel Antoniu - Inria, Rennes
    2.26.2, 2.37.1
  11. Différences sémantiques : théorie, techniques et applications
    David Mentré, Yann Régis-Gianas, at IRIF
  12. Cryptanalysis of Tweakable Block Ciphers
    Gaëtan Leurent - Inria Paris (75012)
    2.13.2
  13. The Formal Semantics and Evolution of the F* Verification System
    Catalin Hritcu, Inria Paris
    2.4, 2.36.1, 2.7.2, 2.7.1, 1.20, 2.2
  14. Gradual Typing for dynamic languages
    Giuseppe Castagna - IRIF
    2_4 Functional programming and type systems
  15. Automated Algorithm Configuration
    Carola Doerr (CNRS, LIP6) and Manuel Lopez-Ibanez (Manchester University, UK)
    2.24.1: Optimization; 2.24.2 Optimization and Search Heuristics; 2.11.1: Randomized algorithms;
  16. programmation vérifiée de fonctions de flot
    Jean-Pierre Talpin, Inria Rennes
  17. Hierarchical Parallelization
    Christophe ALIAS (LIP/ENS de Lyon)
  18. Hardware Compilation: Recover the FIFOs!
    Christophe ALIAS (LIP/ENS de Lyon)
  19. Quantitative types for the atomic lambda-calculus
    Delia Kesner
  20. Effectful programs and their proofs in a dependently-typed setting
    Pierre-Evariste Dagand – LIP6
    2.4, 2.7.2, 2.36.1
  21. Vérification formelle performante pour la logique temporelle du premier ordre
    J. Brunel & D. Chemouil - ONERA Toulouse
  22. Vérification formelle de systèmes distribués sur domaine infini
    J. Brunel & D. Chemouil - ONERA Toulouse
  23. Strong Call-by-Need
    Thibaut Balabonski and Delia Kesner
  24. Deep Learning for 3D Shape Matching
    Maks Ovsjanikov – Ecole Polytechnique
  25. Separation Logic with Summary Predicates Described by Set Universal Quantification
    Xavier Rival
  26. Automatic Verification of an Abstract Machine for Synthesized Operating System Schedulers
    Xavier Rival
  27. Ontology-Mediated Query Answering for Dimension-Dependent Data
    Meghyn Bienvenu and Michaël Thomazo – Labri (Bordeaux) and Inria/DI ENS (Paris)
    2.26.1, 2.26.2
  28. A logical framework to verify requirements of hybrid system models
    Jean-Pierre Talpin (Inria, Rennes) et Benoit Boyer (MERCE, Rennes)
  29. programmation vérifiée de fonctions de flot
    Jean-Pierre Talpin, Inria Rennes
  30. Arithmetic and casting in Lean
    Robert Lewis and Jasmin Blanchette, Vrije Universiteit Amsterdam
  31. Formalization of polyhedra in the proof assistant Coq
    Xavier Allamigeon - INRIA Saclay and CMAP, Ecole Polytechnique
    2.7.1, 2.7.2
  32. Compact 3D meshes: structures de données compactes pour les maillages 3D
    Luca Castelli Aleardi (LIX, Ecole Polytechnique) - Olivier Devillers (Loria, Nancy)
    2.38.1, 2.14.1
  33. Backward Abstract Interpretation using Over and Under-Approximations
    Antoine Miné - LIP6, Sorbonne Université
    2.6
  34. Static Analysis of Ethereum Smart Contracts by Abstract Interpretation
    Antoine Miné - LIP6, Sorbonne Université
    2.6
  35. Formal Proofs of Security Protocols involving Oblivious Transfer
    David Baelde, Hubert Comon, Caroline Fontaine
    2-30
  36. Analysis concurrent objects with concurrent specifications
    Cezara DRAGOI - ENS Ulm
  37. Static analysis of fault-tolerant distributed protocols
    Cezara DRAGOI- INRIA/ENS Ulm
  38. Toward graded arrows and graded profunctors
    Flavien Breuvart and Thomas Seiller
    2.1, 2.2, 2.4, (2.6)
  39. Formalisation of scheduled types
    Flavien Breuvart and Micaela Mayero
    2.2, 2.4, 2.7.2, (2.6)
  40. Video encoding and encryption
    Thomas icart - Paris 75116
  41. Sujet de stage M2: Undecidability in perturbed dynamical systems
    Sablik Mathieu - IMT - Toulouse
    Cours 2.33.3 Calculs sur les réels: modèles, calculabilité, complexité
  42. Stochastic analysis of online algorithms for Steiner tree problems
    Spyros Angelopoulos- LIP6, Sorbonne Université
  43. Exponential growths of groups
    Pascal Vanier - LACL - UPEC
    2.33.1
  44. Familial monads and structural operational semantics
    Tom Hirschowitz - Chambéry
    1-20, 2.2, 2.3.1
  45. Hammer-style automation for dependent type theory
    Assia Mahboubi, Denis Cousineau - inria Nantes / Mitsubishi Electric Rennes
    2.7.1, 2.7.2
  46. Algorithmes d'optimisation pour apprendre une structure graphique de préférences
    Olivier Spanjaard et Bruno Escoffier
    2.29.1, 2.24.1
  47. Independence ratio & fractional chromatic number
    Jean-Sébastien Sereni - Strasbourg
    c-2-29-1
  48. Coinductive equivalences for extended λ-calculi
    Daniel Hirschkoff at ENS de Lyon and Davide Sangiorgi at Univ. Bologna (Italy)
  49. Vérification par preuve formelle de propriétés fonctionnelles d’algorithmes de classification
    Claude Marché - Inria Saclay & LRI - Université Paris-Sud
    2-36-1,2.4,2.7
  50. Optimisation temporelle : entre efficacité et stabilité
    Evripidis Bampis et Bruno Escoffier
    2-24-1, 2-24-2, 2-11-1
  51. Analyse symbolique de modèles d’écosystèmes
    Franck Pommereau, Université d'Évry - Paris-Saclay
  52. A Virtual Machine Of Tendermint Blockchain
    Zaynah Dargaye - CEA List
  53. Prototyping Delay-Aware V2X Safe Communications
    Senti Mouelhi / Rafik Zitouni (ECE Paris)
    System Programming, Analysis, and Verification
  54. Programmation réactive synchrone : sémantique et application à l’internet des objets
    Wadoud Bousdira, Frédéric Dabrowski - LIFO Orléans
    2.1, 2.2, 2.3.1, 2.4,.2 2.7, 2.23.1, 2.36.1
  55. Dynamic algorithm configuration for interactive learning
    Carola Doerr - Thibaut Lust - LIP6, Sorbonne Université
    2.24.2 2.24.1 2.29.1
  56. Compromis entre temps de calcul et nombre de requêtes pour l'apprentissage de modèles d'agrégation en optimisation combinatoire multi-objectifs
    Thibaut Lust - Nawal Benabbou - Lucie Galand - Sorbonne Université (LIP6)
    2.24.2 2.24.1 2.29.1
  57. Efficient evaluation of regular patterns for information extraction
    Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Paris or Lille or Lens
    Web Data Management 2.26.2
  58. Provenance for Ontology-Mediated Query Answering
    Pierre Bourhis, Antoine Amarilli, Inria Lille or Télécom ParisTech
    Web Data Management 2.26.2
  59. Combinatorial Structures for Bonded-Memory Computing
    Petr Kuznetsov (Telecom ParisTech)
    2.18.2
  60. Synchrony Assumptions for Blockchain Systems
    Petr Kuznetsov (Telecom ParisTech)
    2.18.2, 2.18.1
  61. Robust Cortical Learning
    Petr Kuznetsov (Telecom ParisTech)
  62. Non-Volatile Computability
    Petr Kuznetsov (Telecom ParisTech)
    2.18.2
  63. Algorithme de calcul de chemins par segments dans les réseaux multicouches
    Mohamedf Lamine Lamali - LaBRI, Université de Bordeaux
    2.29.1, 2.24.1, 2.18.1, 2.17.1
  64. Towards randomized algorithms for preserving robustness of graph classification networks against adversarial attacks
    Gouy-Pailler Cédric – Saclay
  65. Logics for Distributed Algorithms
    Benedikt Bolling, Arnaud Sangnier - IRIF
    2.8.1 2.9.2 2.18
  66. On the computations made by aperiodic Wang tiles
    Sébastien Labbé - CNRS, LaBRI, Bordeaux
  67. Ordonnancement et équité
    Aurélie Beynier, Nicolas Maudet, Fanny Pascual - Laboratoire LIP6 (Sorbonne Université)
    2.24.1, 2.11.1, 2.29.1, 2.24.2
  68. Preuves en Coq de Programmes Multi-ML
    Frédéric Gava
  69. Certifications de la traduction et de la compilation de openCypher (un langage de requêtes pour grands graphes)
    Frédéric Gava
  70. Monotone complexity: decision procedures and function algebras
    Anupam Das - Copenhagen
  71. Focussed proof systems and alternating time complexity
    Anupam Das - Copenhagen
  72. Verifying distributed data structures
    Constantin Enea - IRIF
    2.9.2, 2.6, 2.8.1, 2.37.1,
  73. Etudes et implémentations de modèles d’apprentissage par renforcement pour les jeux stochastiques de grande taille
    Emmanuel Hyon et Pierre-Henri Wuillemin LIP6 Sorbonnes Universités Paris
  74. Propriétés de treillis des complexes de sous-mots
    Florent Hivert (LRI, Orsay) & Vincent Pilaud (LIX, École Polytechnique)
    2.38.1, 2.10
  75. scheduling with testing
    Christoph Dürr, Spyros Angelopoulos - LIP6-
    2-24-1
  76. Learning pipeline-independent statistic maps in fMRI
    Camille Maumet & Elisa Fromont - Inria Rennes
  77. Bridging the gap between brain imaging standards: towards federated queries in life sciences
    Camille Maumet - Inria Rennes
  78. Comparaison des effets d'une attaque par faute en glitch de tension par rapport aux perturbations électromagnétiques sur SoC
    Thomas Trouchkine - ANSSI
  79. Symbolic learning of regular transformations
    Peter Habermehl - IRIF, University Paris Diderot
  80. Hybrid differential-stochastic simulation
    F. Fages - Inria Saclay
    C2-19
  81. Boolean SATisfiability modulo Differential Equations for verifying chemical reaction networks
    F. Fages - Inria Saclay
    C2-19
  82. Visualisation of biochemical reaction networks using static analyzers
    F. Fages - Inria Saclay
    C2-19
  83. Mariage stable avec des données qui évoluent dans le temps
    E. Bampis, B. Escoffier
  84. Synchronisation-free mobile gaming
    M Shapiro, Ilyas Toumlilt @LIP6
  85. Algorithms and data mining for transport networks
    Laurent Viennot - IRIF
    2.29.1, 2.29.2
  86. Querying inconsistent data
    Cristina Sirangelo and Diego Figueira - IRIF, Paris Diderot University + LABRI, Bordeaux
  87. An integrated model for the cell
    C. Gaucherel (and S. Haar) - Montpellier
    Petri nets, network and symbolic dynamics
  88. A qualitative model for evolution of ecosystems
    C. Gaucherel (and M. Maximova) - Montpellier
    Graph Transformations (Krivine)
  89. Streaming algorithms on specific distributions
    IRIF
    2-11-2
  90. The theory of universal graphs for games on graphs
    Thomas Colcombet and Nathanaël Fijalkow
    Games
  91. La théorie des graphes universels pour les jeux sur les graphes
    Thomas Colcombet et Nathanaël Fijalkow
    Jeux