Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Internships 2016/2017

  1. Quantum Walking in a Discrete Geometry
    Pablo Arrighi, Giuseppe Di Molfetta - LIF, Luminy
    2.34.1
  2. Analog continuous time machines and models of computation
    Olivier Bournez, Ecole Polytechnique, LIX, Palaiseau
  3. Temporal logics on strings
    Stéphane Demri – LSV, Cachan
    1.22, 2.5.1, 2.9.1
  4. VASS games for resource-bounded logics
    Stéphane Demri – LSV, Cachan
    1.22, 2.5.1, 2.9.1, 2.20.1
  5. Decision procedures for separation logics
    Stéphane Demri – LSV, Cachan
    2.5.1, 2.9.1, 2.9.2, 2.36.1
  6. Formally Secure Compilation
    Catalin Hritcu - Inria Paris
    2.4, 2.36.1, 2.7.2, 2.30
  7. Contraintes sur des domaines paramétriques
    Charlotte Truchet - Nantes
    2.6, 2.35.1
  8. Grph polynomials
    JC Aval & A. Tanasa, LABRI
    Combinatorics
  9. M´ethode GLV en dimension 4 sur les Q-courbes
    Olivier Bernard, Renaud Dubois, Olivier Orcière - THALES COMMUNICATIONS
  10. Attaques par canaux auxiliaires sur les schémas post-quantiques
    Ange Martinelli, Thomas Prest - THALES COMMUNICATIONS
  11. Bayesian update as fixed-point transformation
    Kostas Chatzikokolakis and Catuscia Palamidessi
    2.3.2
  12. Information per time unit in timed systems
    E.Asarin & A.Degorre- IRIF, Paris
    2.8.2,2.9.1,2.9.2,2.10,2.22
  13. Compression of mixed (discrete-continuous) signals
    E.Asarin & A.Degorre- IRIF, Paris
    2-8-2
  14. Protocoles d'échange de clefs à base d'isogénies
    Luca De Feo, François Morain (Inria Saclay), Jean-Pierre Flori, Jérôme Plût (ANSSI)
    2.12.1, 2.12.2, 2.13.1, 2.13.2
  15. Comparison of approaches to quantitative verification
    E. Asarin and A. Degorre - IRIF
    2.8.*,2.9.*
  16. Reversible Causal Graph Dynamics : emergence
    Pablo Arrighi, Simon Martiel - LIF, Luminy / IXXI, Lyon
  17. Linux Packages and Tree Transducers
    Sylvain Salvati, Aurélien Lemay
  18. Experimental cryptanalysis of the DES – how far can we go?
    Pr. François-Xavier Standaert - UCL (Belgium)
  19. Side-channel measurements simulator and formal methods
    Pr. François-Xavier Standaert - UCL (Belgium)
  20. Efficacité et stabilité en optimisation dynamique
    Evripidis Bampis et Bruno Escoffier
    2.24.1 2.24.2 2.29.1
  21. Efficient Homomorphic Encryption and Applications
    Malika Izabachène - Nicolas Gama - CEA, LIST
  22. Le diamètre des multiassociaèdres et des accordéoèdres
    Vincent Pilaud (École Polytechnique) & Lionel Pournin (Université Paris 13)
    2-38-1, 2-10
  23. Calcul vérifiable pour Coq
    Chantal Keller (LRI, Orsay)
  24. Utilisation de prouveurs automatiques en Coq
    Chantal Keller (LRI, Orsay)
  25. Verification of security protocols: decidability results
    Stéphanie Delaune (Rennes), Véronique Cortier (Nancy)
    2.30
  26. Contrôle topologique d'évolutions d'objets géométriques
    S. Alayrangues, P. Lienhardt, S. Peltier - Poitiers (XLIM, UMR CNRS 7252, Université de Poitiers)
    algorithmique et combinatoire des graphes géométriques
  27. Intersurf++
    Dave Ritchie- Nancy
  28. Algorithme de calcul d'isogénies de Lercier et Sirvent
    Jean-Pierre Flori, Jérôme Plût (ANSSI, prénom.nom@ssi.gouv.fr), Luca De Feo, François Morain (Inria Saclay)
    2.12.1, 2.12.2, 2.13.1, 2.13.2
  29. Computational Algebra in Rust-
    Morten Dahl, Snips (snips.ai)
    2.22, 2.12.2, 2.13.1, 2.13.2
  30. Specialised Zero-Knowledge Proofs
    Morten Dahl, Snips (snips.ai)
    2.12.1
  31. Homomorphic Encryption
    Morten Dahl, Snips (snips.ai)
    2.12.1, 2.13.1
  32. Private Data Analysis
    Morten Dahl, Snips (snips.ai)
    2.3.2
  33. Gestion d’erreurs de modèles AltaRica 3.0
    M. Batteux - IRT SystemX (Palaiseau)
  34. Visualisation de modèles AltaRica 3.0
    M. Batteux - IRT SystemX (Palaiseau)
  35. Comportements génériques de modèles AltaRica 3.0
    M. Batteux - IRT SystemX (Palaiseau)
  36. Persistence-based reconstruction
    Marc Glisse - Inria Saclay Palaiseau
    2.14.1
  37. Verifying replicated data structures: causal consistency
    Constantin Enea - IRIF, University Paris Diderot
    2.6, 2.8.1, 2.9.2, 2.18.1, 2.18.2, 2.26.2
  38. Vector-Dijkstra
    Mathijs Wintraecken and Jean-Daniel Boissonnat INRIA Sophia-Antipolis
    2.14.1
  39. Polynomial geodesic approximation
    Mathijs Wintraecken and Jean-Daniel Boissonnat, INRIA Sophia-Antipolis
    2.14.1
  40. Verification and Synthesis of Concurrent Programs
    University of Toronto, Canada — Azadeh Farzan
  41. Provenance-Based Routing in Road and Transport Networks
    Pierre Senellart (ENS Paris) & Silviu Maniu (LRI)
    2.26.2, 2.29.1, 2.29.2
  42. How to Evaluate the Compliance of a Security Event Flow Setup to SLAs
    Christine Morin _christine.morin@inria.fr_, Amir Teshome _amir-teshome.wonjiga@inria.fr_, Louis Rilling _louis.rilling@irisa.fr_ - IRISA / Inria Rennes
    1-34, 1-36, 2.18.1, 2.24.1
  43. Certified and Optimizing Bit Slicing Compiler
    Pierre-Evariste Dagand - LIP6, Paris
  44. Sampling Informative Patterns from Large Networks
    Mostafa H. Chehreghani and Albert Bifet and Talel Abdessalem - Telecom ParisTech
    2.29.2
  45. Verifying Lustre to the Binary
    Timothy Bourke and Marc Pouzet (ENS)
    Parallélisme synchrone
  46. Optimiser les jeux sous incertitude
    Florian Richoux - Université de Nantes
  47. Contrôle probabiliste et distribué de la demande pour les réseaux électriques intelligents
    Supervisors: Beaude, Bendottti, Oudjane (EDF R&D) - Busic (Inria / Dép. d'informatique de l'ENS); Location of the internship: EDF R&D campus Saclay
    1-24, 1-30, 2.17.1, 2.18.1
  48. Verification of Security Protocols
    Bruno Blanchet, Harry Halpin - Inria Paris
    2-30
  49. Verification of Security Protocols
    Bruno Blanchet, Harry Halpin - Inria Paris
    2-30
  50. Efficient and modular higher-order rewriting
    Frédéric Blanqui (Cachan) and Christophe Raffalli (Chambéry)
    1-33, 2.7.1, 2.7.2
  51. Termination checking in Dedukti
    Frédéric Blanqui (Cachan)
    1-33, 2.7.1, 2.7.2, 2.4
  52. Proof tactics in Dedukti
    Frédéric Blanqui (Cachan)
    1-33, 2.7.1, 2.7.2, 2.5.1
  53. Interactive proofs with Dedukti
    Frédéric Blanqui (Cachan) and Emilio Gallego (Mines ParisTech)
    1-33, 2.7.1, 2.7.2, 2.4
  54. Refinement in Dedukti
    Frédéric Blanqui (Cachan)
    1-33, 2.7.1, 2.7.2, 2.4
  55. Spectral Graph Theory
    F. Nataf, equipe LJLL-INRIA Alpines
  56. Verifying Robustness of Distributed Systems against Weak Consistency Models.
    Ahmed Bouajjani and Constantin Enea – IRIF, Univ Paris Diderot
  57. Automating Higher-Order Logic
    Jasmin Blanchette & Pascal Fontaine - Nancy (in collaboration with Amsterdam and Saarbrücken)
  58. Deep specification and verification of a SQL query planner
    Véronique Benzaken, Évelyne Contejean et Chantal Keller (LRI, Orsay)
  59. Symbolic Execution of Shell Scripts
    Mihaela Sighireanu - IRIF, University Paris Diderot
    2.6,2.7.2,2.9.2,2.36.1
  60. Symbolic Execution of Shell Scripts
    Mihaela Sighireanu - IRIF, University Paris Diderot
    2.6,2.7.2,2.9.2,2.36.1
  61. Random walks on hypergraphs
    T. Abdessalem, L. Decreusefond
  62. Dynamic matching models
    Ana Busic - Inria Paris
    1-24, 1-30, 2.17.1
  63. Types pour la complexité implicite
    Patrick Baillot - LIP, ENS de Lyon
    2.1, 2.4
  64. Ordonnancement tolérant aux fautes en minimisant la consommation d'énergie dans les environnements répartis
    Luciana Arantes (LIP6/INRIA), Evripidis Bampis (LIP6) et Giorgio Lucarelli (LIG/INRIA), Pierre Sens (LIP6/INRIA)
  65. Superposition modulo en théorie des ensembles
    David Delahaye (LIRMM), Simon Cruanes (Loria)
    1-33, 2.4, 2.5.1 (S), 2.7.1, 2.7.2
  66. Vérification formelle du logiciel HILECOP
    David Andreu (LIRMM), Baptiste Colombani (LIRMM), David Delahaye (LIRMM)
    1-22, 2.4, 2.7.2, 2.8.2, 2.23.1
  67. Modèle unifié et algorithmes pour les jeux stochastiques
    Yann Strozecki- Laboratoire David Université de Versailles
  68. Complexité d'énumération : liens avec la génération aléatoire
    Yann Strozecki- Laboratoire David Université de Versailles
  69. Algorithmique de graphes pour la cheminformatique
    Yann Strozecki- Laboratoire David Université de Versailles
  70. Combinatoire des polynomes de Koornwinder
    Sylvie Corteel (IRIF, CNRS et Universite Paris Diderot)
    C2-10
  71. Quantitative types for the atomic lambda-calculus
    Delia Kesner - Univ Paris-Diderot
  72. Reconfigurable storage in blockchains
    Petr Kuznetov, Telecom ParisTech
    2.18.1, 2.18.2
  73. Internship / Early design error detection (m/f)
    Louis FABRE louis.fabre@airbus.com - Marignane (BdR)
  74. Internship / Aircraft Secured Connectivity - content filter evaluation (m/f)
    Louis Fabre louis.fabre@airbus.com - Marignane (BdR)
  75. Self-Adjusting Parameter Choices for Discrete Black-Box Optimization
    Carola Doerr, Benjamin Doerr - LIP6 and/or LIX
    2.24.2 Solving Optimization Problems with Search Heuristics
  76. Amélioration d'un Analyseur Statique pour les programmes manipulant des tableaux
    Valentin Perrelle et Matthieu Lemmere. CEA, Nano-Innov, Palaiseau
    2.6
  77. Deep specification and verification of a SQL query planner
    Véronique Benzaken, Évelyne Contejean, Chantal Keller at LRI (Orsay)
  78. Developing the primal dual framework for non-linear combinatorial optimization
    Nguyen Kim Thang (IBISC Evry), et aussi C. Dürr (LIP6)
    2-24-1
  79. Banach-Mazur Games and Stochastic Games
    Daniele Varacca and Youssouf Oualhadj
  80. The Cost of Continuations
    Beniamino Accattoli - INRIA Saclay
    2.1, 2.2, 2.4, 2.7.1, 2.7.2
  81. Bijective analysis of greedy online algorithms
    Spyros Angelopoulos - LIP6,UPMC
    2:24.1, 2:24.2, 2:29.1
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA