Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)
   ===== Internships 2013/2014 =====

  1. Studying the notion of equity in privacy policy conflict resolution
    Guillaume Piolle & Valérie Vient Triem Tong - Supélec, Rennes
  2. Proof Systems for XPath
    S. Schmitz - LSV, ENS Cachan
    2-9-1 (also 2-26-2 and 2-1)
  3. Formalization of the executable semantics of the ANSI/ISO C Specification Language
    J. Signoles & C. Marché, CEA LIST, Nano Innov, Gif-sur-Yvette
    2.4, 2.5, 2.6, 2.7, 2.36.1
  4. Automatic generation of code from formal specifications
    Julien Signoles - CEA LIST Nano-Innov, Saclay (91)
  5. 3D Copy-Paste: Paramétrisation Croisée de Données 3D
    Julien Tierny - LTCI - Telecom ParisTech - Paris
  6. 3D Time-Traveler: Interpolation Interactive 3D+T
    Julien Tierny, David Guenther - LTCI - Telecom ParisTech - Paris
  7. Inférence de modèle réactionnel correspondant à un graphe d’influence
    Laurence Calzone, François Fages et Sylvain Soliman - Inria Paris-Rocquencourt
    2.19
  8. Attaques contre McEliece
    Alain Couvreur - LIX École Polytechnique
    2.13.2
  9. Behavioural equivalences, coinduction and higher-order calculi
    Daniel Hirschkoff - ENS Lyon, Lyon
    Concurrency – 2.3 (and also, to some extent, 2.2 and 2.4)
  10. Automatically finding attacks on security protocols
    Hubert Comon-Lundh, LSV, ENS Cachan
    2.3, 2.30
  11. Verification of protocols with loops
    Stéphanie Delaune and Steve Kremer - Cachan and/or Nancy
    2.30 / 2.3
  12. Verification of equivalence properties in security protocols
    Stéphanie Delaune and Steve Kremer - Cachan and/or Nancy
    2.30 / 2.3
  13. Secure Evaluation of Hamming Distance
    David Pointcheval - ENS
    2-30 and 2.12.1
  14. Model-Checking Techniques for Virus and Malware Detection
    Tayssir TOUILI, LIAFA, CNRS and Univ. Paris Diderot-Paris7
  15. Tropicalization and model reduction with multiple timescales.
    François Fages & Sylvain Soliman, Inria Rocquencourt
    2.19 - 2.13.1 - 2.35.1
  16. Energy Optimization for Green Metro Timetabling
    François Fages, Inria Rocquencourt
    C2.35.1 - C2.24.1
  17. Boolean models of biochemical reactions
    François Fages & Sylvain Soliman, Inria Rocquencourt
    C2.19 - C2.6 - C2.35.1
  18. Model-Checking Techniques for Virus and Malware Detection
    Tayssir TOUILI— LIAFA, CNRS and Univ. Paris Diderot-Paris7
  19. Représentations de Steinitz de graphes planaires
    Luca Castelli Aleardi et Eric Fusy, LIX - Ecole Polytechnique
    2.10, 2.38.1
  20. Encryption for Fine-Grained Access Control
    Hoeteck Wee, ENS Paris
    2-30 and 2.12.1
  21. Privacy protection in log analysis
    Catuscia Palamidessi and Kostas Chatzikokolakis (INRIA and Ecole Polytechnique) and Kreshnik Musaraj (Thales)
  22. Proof theory for term representations
    Dale Miller, LIX/Ecole Polytechnique
  23. Building Proofs without Proof Languages
    Kaustuv Chaudhuri, Inria Saclay & LIX/Ecole Polytechnique
    2.1, 2.5, 2.7.1, 2.7.2
  24. Mathematical programming techniques in online optimization
    Spyros Angelopoulos - UPMC, LIP6
    2-24-1
  25. Control of Distributed Systems, Web Services or Zielonka Automata
    Blaise Genest - RENNES (IRISA/CNRS/INRIA)
    AUFL
  26. Verification of concurrent systems with data structures
    Benedikt Bollig & Paul Gastin (LSV, ENS Cachan)
    1.22, 2.3, 2.8, 2.9, 2.16
  27. Probabilistic specifications
    Benedikt Bollig & Paul Gastin (LSV, ENS Cachan)
    1-22, 2.3, 2.8, 2.9, 2.16
  28. Synthesis of Distributed Systems with Parameterized Network Topology
    Benedikt Bollig & Paul Gastin (LSV, ENS Cachan)
    1-22, 2.3, 2.8, 2.9, 2.16
  29. Complexity Analysis in Java using a Type System
    Romain Péchoux et Emmanuel Hainry - LORIA, Nancy
  30. Compilation optimisante certifiée pour la précision numérique
    Matthieu Martel (Université de Perpignan) et David Delmas (Airbus)
    Interprétation Abstraite
  31. Weak models of data consistency
    Thomas Gazagnaire - University of Cambridge
  32. Analyse des images numériques de sections transversales de placenta humain
    Denis GREBENKOV - École Polytechnique, Laboratoire de Physique de la Matière Condensée
  33. Research Programmer - Natural Language Understanding
    Simon Pauw - Aldebaran Robotics (Paris)
  34. Lagrangian Duality in Online Algorithms
    Nguyen Kim Thang, Université d'Evry Val d'Essonne
    Optimization, Advanced algorithms
  35. Une bibliothèque parallèle sur les graphes ; implantation générique et expérimentations
    Frédéric Gava - Sovanan Tan - Julien Tesson (LACL, Université de Paris-Est)
  36. Certification en Coq d'une implantation distribuée de squelettes de flots
    Frédéric Gava (LACL, Université de Paris-Est) ou Joel Falcou (LRI, Université de Paris-Sud)
  37. Reconnaissance faciale dans des milliers d'heures de TV
    Pierre Letessier (Institut National de l'Audiovisuel)
  38. Communication Complexity for Picture Languages
    Emmanuel Jeandel - LORIA (Nancy)
    2.9.1,2.11.2,2.16,2.20.2,2.33.1
  39. Hyperstreaming XPath Evaluation
    Pierre Bourhis- Joachim Niehren - LIFL & INRIA Lille
    Gestion de données sur le web ; Logique, complexité descriptive et théorie des bases de données ;Tree automata and applications; Modélisation par automates finis;
  40. Game-­‐theoretic statistics for Internet regulation
    Patrick Loiseau - EURECOM
    2.17.1, 2.20.1
  41. Numerical algorithms for certified topological and geometrical description of singular curves
    Guillaume Moroz et Marc Pouget
    2.22 Efficient algorithms in computer algebra, 2.13.1 Polynomial systems, computer algebra and applications
  42. QuickChick: Property-Based Testing for Coq
    Catalin Hritcu - INRIA Paris-Rocquencourt (23 Avenue d'Italie, 75013 Paris)
    1-31, 2.4, 2.7.2, 2.36.1
  43. Micro-Policies: Formally Verified Low-Level Tagging Schemes for Safety and Security
    Catalin Hritcu - INRIA Paris-Rocquencourt (23 Avenue d'Italie, 75013 Paris)
    2.4, 2.7.2, 2.36.1
  44. Preuves formelles d'algorithmes séquentiels et distribués de model-checking (NDFS et Tarjan)
    Frédéric Gava et Julien Tesson (LACL, Université de Paris-Est)
  45. Preuves automatiques d'arithmétique en calcul des séquents
    David Delahaye - Inria Paris (Place d'Italie)
    2.5, 2.7.1, 2.7.2, 2.36.1
  46. Modular Process Networks
    Christophe Alias - Ecole Normale Supérieure de Lyon
  47. Extension d'un langage de description des protocoles de sécurité puis traduction vers une algèbre de réseaux de Petri
    Franck Pommereau (IBISC, Université d'Evry) et Frédéric Gava (LACL, Université de Paris-Est)
  48. Modèles mécaniques formels pour l'algorithmique distribuée
    Xavier Urbain & Pierre Courtieu, LRI/PCRI & Cedric
  49. Dynamic-Graph Algorithms for Event Detection in the Social Web
    Mauro Sozio (Telecom Paristech) Silvio Lattanzi (Google NY)
  50. Static analysis of Java avionics software
    David Delmas - Airbus (Toulouse)
    2.6
  51. Dynamic-Graph Algorithms for Event Detection in the Social Web
    Mauro Sozio (Telecom Paristech) Silvio Lattanzi (Google NY)
  52. Automatic verification of programs with complex data structures
    Mihaela Sighireanu, LIAFA
    2.5, 2.6, 2.9.2, 2.36.1
  53. Infe rence de dynamique boole enne
    Franck Delaplace - IBISC & LRI
    2.19
  54. Optimal mechanisms for protection of confidential information
    Kostas Chatzikokolakis and Catuscia Palamidessi (INRIA and Ecole Polytechnique), Serge Haddad (ENS Cachan)
  55. Cryptographic Constructions Based on Lattice and Learning Problems
    Vadim Lyubashevsky - ENS Paris
    Techniques de théorie des jeux en informatique Game theory techniques in computer science
  56. Mise en place d'un DSM asymétrique hétérogène
    CEA - Bruyères-le-Châtel (91)
    2-37-1
  57. Precise Analyses of Epidemic Algorithms
    Benjamin Doerr (LIX, Ecole Polytechnique)
  58. The Total s-Energy of a Multiagent System
    Bernadette Charron-Bost, LIX, Ecole polytechnique
    2-18-1, 2-19
  59. Language-based models for privacy-aware machine learning algorithms
    Marco Gaboardi - University of Dundee - Scotland
  60. Smart-grid and security
    Montesson (78)
  61. Implémentation Sécurisée de l’AES Sur Carte à Puce
    Emmanuel Prouff et Thomas Roche - ANSSI
  62. Attaque par canaux auxiliaires sur RSA
    Emmanuel Prouff et Thomas Roche - ANSSI
  63. Outil de certification de programmes quantiques
    Benoit Valiron – PPS, Paris 7
  64. Putting ornaments to work
    Pierre Dagand and Didier Remy
    2-4
  65. Analyse et calcul de dépendances sémantiques
    Yann Regis-Gianas - PIR2 - PPS
    2.4.2
  66. SAT-based minimization of omega-automata
    A. Duret-Lutz, S. Baarir - LRDE/LIP6
  67. Semantic subtyping for OCaml
    Giuseppe Castagna (PPS - Univ Paris Diderot) and Kim Nguyen (LRI - Univ Paris Sud)
    2.4: Functional programming and type systems
  68. Heuristique pour largeur de rang
    Binh-Minh Bui-Xuan - Lip6 UPMC, Paris
  69. Evaluation and Visualization of Communities in directed graphs with degeneracy
    Michalis Vazirgiannis - LLIX, Ecole Polytechnique
  70. Generating Relevant Coincidences from Personal Data
    Pierre Senellart & Jean-Louis Dessalles - Télécom ParisTech
    2-26-2 (Web Data Management)
  71. Vérification formelle d’analyses de complexité
    François Pottier et Arthur Charguéraud – INRIA Rocquencourt
    2.36.1
  72. Parallel Dynamic Computation
    Umut Acar, Arthur Charguéraud and Mike Rainey – Inria, at Rocquencourt and Place d'Italie (Paris)
  73. Algorithmes pour les réseaux sociaux
    Christophe Prieur
    2.29.1, 2.26.2, 2.16
  74. Algorithmes pour les réseaux sociaux
    Christophe Prieur — LIAFA
    2.29.1, 2.26.2, 2.16
  75. Data-centric Programming Languages Mechanization
    Benzaken V and Contejan E, Equipe Toccata - Vals LRI
  76. Inferring sufficient numeric conditions with under-approximations by abstract interpretation
    Antonine Miné - Équipe Abstraction, École normale supérieure
    2-6
  77. Model Checking Tools for Switched Controller Generation
    Nicolas Perrin / ISIR - Paris 6 (Jussieu)
  78. Étude logique de l'ordonnancement dans les algèbres de processus
    Emmanuel Beffara (I2M, Marseille), Virgile Mogbil (LIPN, Villetaneuse)
    1.20, 2.1, 2.2, 2.3, 2.4
  79. Static analysis by abstract interpretation of concurrent programs in weakly consistent memories
    Antoine Miné - Équipe Abstraction, École normale supérieure
    2-6
  80. Degeneracy-Based Evaluation of Network Community Detection Algorithms
    Michalis Vazirgiannis - Lix@ Exole Polytechnque
  81. Oprimizing Spectral Clustering for Mapreduce
    Michalis Vazirgiannis - LIX @ Ecole Polytechnique
  82. Étude logique de l'ordonnancement dans les algèbres de processus
    Emmanuel Beffara (I2M, Marseille), Virgile Mogbil (LIPN, Villetaneuse)
    1.20, 2.1, 2.2, 2.3, 2.4
  83. Réoptimisation en optimisation combinatoire
    Evripidis Bampis, Bruno Escoffier
    2.24.1
  84. Maude in Dedukti
    Olivier Hermant
  85. Coarse grain loop fusion
    François Irigoin - MINES ParisTech
  86. Coarse grain loop parallelization
    François Irigoin - MINES ParisTech
  87. Extension de Lustre avec des traits impératifs déterministes
    Marc Pouzet et Albert Cohen - ENS
    2-23-1
  88. Algorithmes pour les réseaux sociaux
    Christophe Prieur - LIAFA
  89. Animation of Large-Scale Semantic Definitions
    Francesco Zappa Nardelli - ENS Paris & INRIA
  90. Machines de Mealy et problème de Burnside
    Matthieu Picantin LIAFA Université Paris Diderot
    2.16 & 2.20.2
  91. Construction d’exponentielles en logique linéaire
    Damiano Mazza — LIPN, Université Paris XIII
    2.1 2.2
  92. Analysis of a Genetic Inverted Pendulum Benchmark Problem
    Gregory Batt (INRIA Paris-Rocquencourt)
    C2-19
  93. Architectural multiprocessor semantics
    Peter Sewell, Francesco Zappa Nardelli - Cambridge University, UK
  94. Automates ludiques
    Alexis Saurin et David Baelde – Laboratoire PPS
    2.1, 2.2, 2.4, 2.20.2
  95. User‐centric applications (social networks, crowdsourcing): Adaptive learning for search and recommendations
    Bogdan Cautis (Univ. Paris Sud), Olivier Cappe (Telecom ParisTech)
    Bases de Donnees, Apprentissage
  96. Analyse et calcul de dépendances sémantiques
    Yann Regis-Gianas - PIR2 - PPS
  97. Static analysis by abstract interpretation of concurrent programs in weakly consistent memories
    Antoine Miné - ENS Ulm
    Interprétation Abstraite, Concurrence, Programmation Multicore
 
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