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

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

internships [2018/10/24 18:02]
carton
internships [2019/12/07 22:24] (current)
Line 1: Line 1:
-===== Internships 2018/2019 =====+===== Internships 2019/2020 =====
 **[[internship_submit|Submit an internship offer]]** **[[internship_submit|Submit an internship offer]]**
  
  
-  - **[[https://drive.google.com/open?id=11qb3M2fbhIyqIBCogUuTG2Y6-l-m0RQ8|Anonymous and Colored Asynchronous Computability]]** \\ <color grey>ProfPetr Kuznetsov</color>\\ <color grey></color> +  - **[[https://www.ibisc.univ-evry.fr/~fpommereau/stage-m2r-2019-1.pdf|Dépliages de réseaux de Petri pour l'analyse d'écosystèmes]]** \\ <color grey>Franck Pommereau, université d'Évry/Paris-Saclay</color>\\ <color grey></color> 
-  - **[[http://people.irisa.fr/Ocan.Sankur/stage/nokia.pdf|Control of Adaptive Systems using Game Theory]]** \\ <color grey>Ocan SankurHerve Marchand (Inria Rennes Irisa)</color>\\ <color grey>2.8.1, 2.8.2, 2.6, 2.9.1, 2.9.2, </color> +  - **[[https://www.sfecologie.org/offre/an-integrated-model-for-the-cell/|An integrated model for the cell]]** \\ <color grey>C. Gaucherel (and S. Haar) - Montpellier</color>\\ <color grey>Petri nets, network and symbolic dynamics</color> 
-  - **[[www.impmc.upmc.fr/~jonic/Master/Proposal1_M2_Jonic.pdf|Development   of  a  new   cryo - electron   micr oscopy  image   analysis  approach to conformational variability of biomolecular complexes]]** \\ <color grey>Slavica JONICSorbonne Université, 75005 Paris</color>\\ <color grey></color> +  - **[[https://www.sfecologie.org/offre/a-qualitative-model-for-evolution-of-ecosystems/|A qualitative model for evolution of ecosystems]]** \\ <color grey>CGaucherel (and M. Maximova) - Montpellier</color>\\ <color grey>Graph Transformations (Krivine)</color> 
-  - **[[www.impmc.upmc.fr/~jonic/Master/Proposal2_M2_Jonic.pdf|Development   of   new  cryo electron  tomography (cryo ETimage   analysis  approach to conformational variability of biomolecular complexes]]** \\ <color grey>Slavica JONICSorbonne Université75005 Paris</color>\\ <color grey></color> +  - **[[https://lig-membres.imag.fr/loiseapa/pdfs/InternshipFairnessAuctions.pdf|Online Algorithms for Fair Ad Auctions]]** \\ <color grey>Patrick Loiseau and Nicolas Gast, Inria/LIG (Grenoble)</color>\\ <color grey></color> 
-  - **[[https://project.inria.fr/quasymodo/|Advanced Post-Quantum Symmetric Cryptanalysis]]** \\ <color grey>María Naya-Plasencia Inria, Paris</color>\\ <color grey>2.13.2, 2.34.2</color> +  **[[https://www.irif.fr/~michele/diffprog.pdf|Implementing a differential programming framework based on linear logic negation]]** \\ <color grey>Michele Pagani (and Alois Brunel, Damiano Mazza- Paris</color>\\ <color grey>2.1, 2.2</color> 
-  - **[[https://nathanael-fijalkow.github.io/pdf/internship_learning.pdf|Verification of machine learning models]]** \\ <color grey>Nathanaël FijalkowLaBRI (Bordeaux)</color>\\ <color grey>Théorie des automatesApprentissageSystèmes DynamiquesThéorie des jeuxVérificationInterprétation Abstraite</color> +  - **[[https://www.irif.fr/~michele/bayesian.pdf|Bayesian networks and linear logic quantitative semantics]]** \\ <color grey>Michele Pagani (and Marco Gaboardi) - IRIF, Paris</color>\\ <color grey>2.1, 2.2</color> 
-  - **[[https://team.inria.fr/polaris/files/2018/10/stage_bandits.pdf|Mean Field Optimal Control for Multi-Armed Bandit Problems]]** \\ <color grey>Nicolas Gast, Patrick Loiseau (Inria Grenoble)</color>\\ <color grey></color> +  - **[[https://drive.google.com/open?id=1bstS9vgpdqBT-AU9B6wGBujgtO1elytF|Une sémantique formelle pour la fusion de changements de code source]]** \\ <color grey>Yann Régis-Gianas (IRIF) / David Mentré (MERCE)</color>\\ <color grey></color> 
-  - **[[http://www.vls3d.com/stage_M1_M2_Miteva_2018-19.pdf|Development of software for prediction of drug toxicity]]** \\ <color grey>Maria AMitevaDirecteur de recherche InsermFaculté de Pharmacie de Paris 4 av de l'Observatoire  75270 Paris cedex 06</color>\\ <color grey></color> +  - **[[https://drive.google.com/open?id=1SKM4m1Wqqf4M9eWbA1Z2NHaK3I0w8t0j|Une formalisation mécanisée du "Test driven development"]]** \\ <color grey>Yann Régis-Gianas (IRIF) / David Mentré (MERCE)</color>\\ <color grey></color> 
-  - **[[http://master.irisa.fr/internship/uploaded/5.pdf|Towards Efficient Big Data Management with Transient Storage Systems]]** \\ <color grey>Gabriel Antoniu InriaRennes</color>\\ <color grey>2.26.2, 2.37.1</color> +  - **[[https://www.ssi.gouv.fr/uploads/2019/10/s3044_developpement-d-une-bibliothequ-posix-pour-coq.pdf|Développement d'une bibliothèque POSIX pour Coq]]** \\ <color grey>Thomas LetanANSSI (Paris)</color>\\ <color grey></color> 
-  - **[[http://master.irisa.fr/internship/uploaded/23.pdf|HPC-Big Data convergence at processing level by bridging in-situ/in-transit processing with Big Data analytics]]** \\ <color grey>Alexandru Costan, Gabriel Antoniu Inria, Rennes</color>\\ <color grey>2.26.22.37.1</color> +  - **[[https://team.inria.fr/empenn/files/2019/10/Stage_Tractographie_Anatomie_fr.pdf|A priori anatomiques et modèles multi-compartiments de diffusion pour la tractographie de la matière blanche cérébrale]]** \\ <color grey>Olivier Commowick</color>\\ <color grey></color> 
-  - **[[http://yann.regis-gianas.org/public/proposal.pdf|Différences sémantiques : théorietechniques et applications]]** \\ <color grey>David MentréYann Régis-Gianasat IRIF</color>\\ <color grey></color> +  - **[[https://www.cryptoexperts.com/2020-stage-signature.pdf|Secure and efficient elliptic-curve signatures for emerging applications]]** \\ <color grey>Matthieu Rivain (CryptoExperts) - Paris</color>\\ <color grey></color> 
-  - **[[https://who.rocq.inria.fr/Gaetan.Leurent/files/TBC_MPRI.pdf|Cryptanalysis of Tweakable Block Ciphers]]** \\ <color grey>Gaëtan Leurent - Inria Paris (75012)</color>\\ <color grey>2.13.2</color> +  - **[[www.lsv.fr/~dowek/alstom.docx|Formalisation d’un langage graphique à bloc pour la preuve de programme]]** \\ <color grey>Dowek (LSV) - Belmonte (Alstom)</color>\\ <color grey>2.7.1, 2.7.2, 2.36.1</color> 
-  - **[[http://prosecco.gforge.inria.fr/personal/hritcu/students/topics/2018/fstar-topics.pdf|The Formal Semantics and Evolution of the FVerification System]]** \\ <color grey>Catalin Hritcu, Inria Paris</color>\\ <color grey>2.4, 2.36.1, 2.7.2, 2.7.1, 1.20, 2.2</color> +  - **[[https://www.lri.fr/~keller/Documents-recherche/Propositions-stage/smtcoq-en.pdf|Automatic Theorem Proving in Coq]]** \\ <color grey>Valentin BlotGilles Dowek et Chantal Keller - Université Paris-Saclay</color>\\ <color grey>Assistants de preuves, Fondements des systèmes de preuves, Démonstration automatique</color> 
-  - **[[https://www.irif.fr/~gc/stageGradualTyping.en.html|Gradual Typing for dynamic languages]]** \\ <color grey>Giuseppe Castagna IRIF</color>\\ <color grey>2_4 Functional programming and type systems </color> +  - **[[https://www.di.ens.fr/~mrossi/docs/stages_lch.pdf|Developpement d'implementation threshold sur un banc DPA]]** \\ <color grey>Renaud Dubois, Valentin Mascre (Thales)</color>\\ <color grey></color> 
-  - **[[http://www-ia.lip6.fr/~doerr/2019-internship-AutomatedAlgorithmConfiguration.pdf|Automated Algorithm Configuration]]** \\ <color grey>Carola Doerr (CNRS, LIP6) and Manuel Lopez-Ibanez (Manchester University, UK)</color>\\ <color grey>2.24.1: Optimization2.24.2 Optimization and Search Heuristics2.11.1: Randomized algorithms;</color> +  - **[[https://www.di.ens.fr/~mrossi/docs/stages_lch.pdf|Cryptanalyse quantique d'algorithmes symétriques]]** \\ <color grey>Zoé Amblard, Aurélien Dupin, Ange Martinelli (Thales)</color>\\ <color grey></color> 
-  - **[[http://www.irisa.fr/prive/talpin/frp.pdf|programmation vérifiée de fonctions de flot]]** \\ <color grey>Jean-Pierre TalpinInria Rennes</color>\\ <color grey></color> +  - **[[https://www.di.ens.fr/~mrossi/docs/stages_lch.pdf|Schémas de chiffrement complétement homomorphe hybride pour une délégation de calculs efficace]]** \\ <color grey>Olivier Bernard, Thomas Ricosset (Thales)</color>\\ <color grey></color> 
-  - **[[http://perso.ens-lyon.fr/christophe.alias/stages/modular-tiling-en.pdf|Hierarchical Parallelization]]** \\ <color grey>Christophe ALIAS (LIP/ENS de Lyon)</color>\\ <color grey></color> +  - **[[https://www.di.ens.fr/~mrossi/docs/stages_lch.pdf|Implémentation optimisée de schémas de signature post-quantiques]]** \\ <color grey>Sylvain Lachartre, Thomas Ricosset (Thales)</color>\\ <color grey></color> 
-  - **[[http://perso.ens-lyon.fr/christophe.alias/stages/fifo-en.pdf|Hardware Compilation: Recover the FIFOs!]]** \\ <color grey>Christophe ALIAS (LIP/ENS de Lyon)</color>\\ <color grey></color> +  **[[https://www.ssi.gouv.fr/uploads/2019/10/s3039_securite-des-communications-reseau-de-l-iot.pdf|Sécurité des communications réseau de l’IoT]]** \\ <color grey>Arnaud Ebalard, ANSSI (Paris)</color>\\ <color grey></color> 
-  - **[[https://www.irif.fr/~kesner/stages/sujet-2019-a.pdf|Quantitative types for the atomic lambda-calculus]]** \\ <color grey>Delia Kesner</color>\\ <color grey></color> +  - **[[https://gitlab.inria.fr/verifisc/mlang/raw/master/documents/InternshipProsecco2020.pdf|A domain specific language for formally verified legislation]]** \\ <color grey>Denis MerigouxKarthikeyan Bhargavan : Inria (PROSECCO), Paris</color>\\ <color grey></color> 
-  - **[[https://pages.lip6.fr/Pierre-Evariste.Dagand/stuffs/internship-2018-mpri-monad/sep-monad.pdf|Effectful programs and their proofs in a dependently-typed setting]]** \\ <color grey>Pierre-Evariste Dagand -- LIP6</color>\\ <color grey>2.4, 2.7.2, 2.36.1</color> +  - **[[https://courtiel.users.greyc.fr/stage-bisect.pdf|Optimalité et analyse en moyenne de l'algorithme Git bisect]]** \\ <color grey>Julien Courtiel, Paul Dorbec - GREYC, Caen</color>\\ <color grey>Algorithmique des graphes  / Aspects algorithmiques de la combinatoire / Calcul formel / Analyse d'algorithmes /  Algorithmique et combinatoire des graphes géométriques </color> 
-  - **[[http://w3.onera.fr/stages/sites/w3.onera.fr.stages/files/dtis-2019-44.pdf|Vérification formelle performante pour la logique temporelle du premier ordre]]** \\ <color grey>JBrunel D. Chemouil ONERA Toulouse</color>\\ <color grey></color> +  - **[[http://sebastien.bardin.free.fr/2020-internships.pdf|Formal Methods for Security: automated low-level software security analysis]]** \\ <color grey>Sébastien Bardin (CEA) -- location: CEA Saclay</color>\\ <color grey>all modules concerned with formal verification, especially: 2.5.1, 2.6, 2.9.2,2.36.1</color> 
-  - **[[http://w3.onera.fr/stages/sites/w3.onera.fr.stages/files/dtis-2019-50.pdf|Vérification formelle de systèmes distribués sur domaine infini ]]** \\ <color grey>JBrunel &ampDChemouil ONERA Toulouse</color>\\ <color grey></color> +  - **[[https://orange.jobs/jobs/offer.do?joid=86043|Study of possible instances of broadcast encryption]]** \\ <color grey>Sébastien Canard Orange Labs Caen</color>\\ <color grey>cryptology</color> 
-  - **[[https://www.irif.fr/~kesner/stages/sujet-2019-b.pdf|Strong Call-by-Need]]** \\ <color grey>Thibaut Balabonski and Delia Kesner</color>\\ <color grey></color> +  - **[[https://www.strub.nu/internships/sujet_stage_M2_2019.pdf|Enumération efficace des sommets d’un polyèdre en Coq]]** \\ <color grey>Xavier Allamigeon (CMAP)Pierre-Yves Strub (LIX- École Polytechnique</color>\\ <color grey>2.7.1</color> 
-  - **[[http://www.lix.polytechnique.fr/~maks/job_offers.html#internships|Deep Learning for 3D Shape Matching]]** \\ <color grey>Maks Ovsjanikov -- Ecole Polytechnique</color>\\ <color grey></color>+  - **[[https://www.ssi.gouv.fr/uploads/2019/10/s3045_developpement-d-un-outil-d-analyse-d-applications-android.pdf|Développement d’un outil d’analyse automatique d’applications Android]]** \\ <color grey>Aurélien Deharbe (ANSSI)</color>\\ <color grey></color> 
 +  - **[[https://w3.onera.fr/stages/sites/w3.onera.fr.stages/files/dtis-2020-57.pdf|Efficient model-checking for the Electrum language]]** \\ <color grey>David CHEMOUIL & Julien BRUNEL - ONERA Toulouse</color>\\ <color grey></color> 
 +  - **[[https://lipn.univ-paris13.fr/~breuvart/Stages/Grading%20LL-exponentials.pdf|Grading LL-exponentials]]** \\ <color grey>Flavien Breuvart and Damianon Mazza (LIPN)</color>\\ <color grey>2.12.22.4</color> 
 +  - **[[https://lipn.univ-paris13.fr/~breuvart/Stages/Functorialising%20probabilistic%20intersection%20types.pdf|Factorizing probabilistic intersection types]]** \\ <color grey>Flavien Breuvart and Damianon Mazza (LIPN)</color>\\ <color grey>2.12.2</color> 
 +  - **[[http://pageperso.lif.univ-mrs.fr/~pablo.arrighi/projects/StageQWGrover.pdf|Quantum search as a naturally occurring phenomenon]]** \\ <color grey>Giuseppe Di Molfetta, Pablo Arrighi - LISMarseille</color>\\ <color grey>2.34.1</color> 
 +  - **[[https://www.ssi.gouv.fr/uploads/2019/10/s3043_developpement-d-un-greffon-frama-c-pour-la-genertion-automatique-d-annotation-acsl.pdf|Développement d'un greffon Frama-C pour la génération automatique d'annotations ACSL]]** \\ <color grey>Patricia MOUY ANSSI (Paris)</color>\\ <color grey></color> 
 +  - **[[http://www.lsv.fr/~demri/M2-internship-RBATL.pdf|Taming the Computational Complexity of Resource-Bounded Logics]]** \\ <color grey>Stéphane Demri -- LSV, ENS Paris-Saclay</color>\\ <color grey>1.391.222.20.1</color> 
 +  - **[[www.lri.fr/~hellouin/Hom.pdf|Isometry-invariant tilings]]** \\ <color grey>Benjamin Hellouin de Menibus - LRIUniversité Paris-Sud</color>\\ <color grey>;Dynamique symbolique ; algorithmique des graphes </color> 
 +  - **[[www.lri.fr/~hellouin/Nonalgebraic.pdf|Nonabelian cellular automata]]** \\ <color grey>Benjamin Hellouin de Menibus - LRI, Université Paris-Sud</color>\\ <color grey>Dynamique symbolique</color> 
 +  - **[[http://perso.ens-lyon.fr/nicolas.schabanel/stage/2020_M2_Internship.pdf|DNA computing: theory, models and wet lab experiments]]** \\ <color grey>Nicolas Schabanel LIPENS de Lyon</color>\\ <color grey>2.11.1, 2.19</color> 
 +  - **[[https://lean-forward.github.io/internships/lean_forward_2020.pdf|Complex Analysis and Cauchy's Integral Theorem in Lean]]** \\ <color grey>Robert Y. Lewis, Jasmin Blanchette: Vrije Universiteit Amsterdam</color>\\ <color grey></color> 
 +  - **[[http://samuelvaiter.com/grava/phd-master-grava.pdf|Variational methods for graph signal processing]]** \\ <color grey>SVaiter - Dijon</color>\\ <color grey></color> 
 +  - **[[https://caterinaurban.github.io/files/fairness.pdf|Algorithmic Fairness Static Analysis for Neural Networks]]** \\ <color grey>Caterina Urban INRIA & École Normale Supérieure, Paris</color>\\ <color grey>2.6</color> 
 +  **[[https://caterinaurban.github.io/files/usage.pdf|A General Framework for Input Data Uage Static Analysis]]** \\ <color grey>Caterina Urban INRIA & École Normale Supérieure</color>\\ <color grey>2.6</color> 
 +  - **[[https://drive.google.com/open?id=16I4jg2fpo19bRHJVtJIQPzQS7Ch28hEI|Generic and incremental model-based safety assessment]]** \\ <color grey>Rémi DelmasYoussef Hamadi  - Uber ATCP (Paris)</color>\\ <color grey>Programmation Fonctionnelle, Compilation, Verification formelle (SAT, SMT)</color> 
 +  - **[[https://drive.google.com/open?id=1bYfRhGWnfE-W-dC_BC2euSmVqxZOAVGJ|Reinforcement Learning and Extreme Value Theory for Cyber Physical Systems Analysis]]** \\ <color grey>Rémi Delmas, Eric Goubault - Uber ATCP (Paris)</color>\\ <color grey>Systèmes Hybrides, Langages synchrones, Apprentissage par renforcement, optimisation stochastique, statistiques/probabilités,, Verification formelle, logiques temporelles</color> 
 +  - **[[|A user interface for formal proofs]]** \\ <color grey>Benjamin Werner, Pierre-Yves Strub</color>\\ <color grey>2-7-2-7-2</color> 
 +  - **[[http://www.lix.polytechnique.fr/~werner/stage.html|A user interface for formal proofs]]** \\ <color grey>Benjamin Werner, Pierre-Yves Strub</color>\\ <color grey>2-7-1 2-7-2</color> 
 +  - **[[https://polsys.lip6.fr/~safey/Stages/roadmaps_fr.pdf|Calcul formelsystèmes polynomiaux et applications]]** \\ <color grey>Mohab Safey El DinLIP6Sorbonne Univ.</color>\\ <color grey>2-13-1 et 2-22</color> 
 +  - **[[http://gallium.inria.fr/~remy/stages/sharing-master.pdf|Sharing and Unsharing in Hindley Milner]]** \\ <color grey>Didier Rémy</color>\\ <color grey></color> 
 +  - **[[http://marc.mezzarobba.net/offers/apparent.pdf|Résolution numérique d'équations différentielles à singularités apparentes / Numerical Solution of ODEs with Apparent Singularities]]** \\ <color grey>Marc Mezzarobba _marc.mezzarobba@lip6.fr_, LIP6 (Jussieu), Paris</color>\\ <color grey>C-2-22</color> 
 +  - **[[http://marc.mezzarobba.net/offers/metabessel.pdf|Synthèse de code pour l'évaluation de fonctions de Bessel / Code Generation for the Evaluation of Bessel Functions]]** \\ <color grey>Marc Mezzarobba _marc.mezzarobba@lip6.fr_, LIP6 (Jussieu), Paris</color>\\ <color grey>C-2-22</color> 
 +  - **[[http://gallium.inria.fr/~remy/stages/propagation-master.pdf|Propagation of type annotations inHindler-Milner based type-systems]]** \\ <color grey>Didier Rémy</color>\\ <color grey></color> 
 +  - **[[https://paperstreet.picty.org/tmp/stage-parsers-binaires.pdf|Analyse des générateurs de parsers binaires pour le traitement des paquets réseau]]** \\ <color grey>Olivier Levillain (Télécom SudParis Evry ou Palaiseau)</color>\\ <color grey></color> 
 +  - **[[http://oanabalalau.com/pdf/topic-internship.pdf|Learning to Rank Trees in a Heterogeneous Graph with Applications in Investigative Journalism]]** \\ <color grey>Oana BalalauIoana Manolescu, and Fabian Suchanek, location Inria Saclay</color>\\ <color grey></color> 
 +  - **[[http://www.lsv.fr/~demri/M2-internship-DL.pdf|Updates in Description Logics]]** \\ <color grey>Stéphane Demri, ENS Paris-Saclay</color>\\ <color grey>1.391.22</color> 
 +  - **[[http://www.lix.polytechnique.fr/~bournez/load/sujet-2020-classes-complexite-MPRI.pdf|Characterization of NP or PSPACE with polynomial Ordinary Differential EquationsContinuous time Analog machines and models of computation]]** \\ <color grey>Olivier Bournez</color>\\ <color grey></color> 
 +  - **[[http://www.lix.polytechnique.fr/~bournez/load/sujet-2020-discrete-ode-MPRI.pdf|Complexity theory with Discrete Differential Equations/Finite differences]]** \\ <color grey>Olivier BOURNEZ</color>\\ <color grey></color> 
 +  - **[[http://www.lix.polytechnique.fr/~bournez/load/sujet-2020-ordinaux-MPRI.pdf|Continuous Time Models of Computations and Computations Over the Ordinals]]** \\ <color grey>Olivier Bournez</color>\\ <color grey></color> 
 +  - **[[http://www.lix.polytechnique.fr/~bournez/load/sujet-2020-deep-learning-MPRI.pdf|Turing Neural Computer, Differential Neural Computer, Neural Stack Machine, Neural Network Pushdown Automata etc]]** \\ <color grey>Olivier BOURNEZ</color>\\ <color grey></color> 
 +  - **[[http://gallium.inria.fr/~scherer/topics/delayed-constraints-for-disambiguation.txt|Constraint-based disambiguation of label and field names in OCaml]]** \\ <color grey>Gabriel Scherer INRIA Saclay</color>\\ <color grey>2.4 Functional programming and type systems</color> 
 +  - **[[http://gallium.inria.fr/~scherer/topics/low-level-ocaml.pdf|Low Level OCaml -- LowCaml]]** \\ <color grey>Gabriel Scherer INRIA Saclay</color>\\ <color grey>2.4 Functional programming and type systems<;/color> 
 +  - **[[https://www.labri.fr/perso/atanasa/stage2020.pdf|Graph polynomials and symmetric functions]]** \\ <;color grey>J.-CAval, P. McNamara, A. Tanasa - LABRI<;/color>\\ <color grey>Combinatorics</color> 
 +  - **[[https://github.com/oliviercailloux/stage/blob/master/Diet-ENS.adoc|Exploration expérimentale du jugement délibéré sur la décision d’établir une cantine scolaire végane]]** \\ <color grey>Olivier Cailloux, Yves Meinard, Nicolas Salliou</color>\\ <color grey></color> 
 +  - **[[https://github.com/oliviercailloux/CLut/blob/master/Stage%20ENS.adoc|Stage en Apprentissage statistique: Dialogue entre systèmes de recommandation]]** \\ <color grey>Olivier CaillouxMCF, LAMSADE; Florian Yger, MCF, LAMSADE, Université Paris-Dauphine.</color>\\ <color grey></color> 
 +  - **[[http://gallium.inria.fr/~remy/stages/semiunif-master.pdf|MLF type inference and semi-unification]]** \\ <color grey>Didier Rémy</color>\\ <color grey>2.4</color> 
 +  - **[[https://cermics.enpc.fr/~meuniefr/Stage-fair-division.pdf|Version discrète du partage du gâteau]]** \\ <color grey>Frédéric Meunier - École des Ponts</color>\\ <color grey></color> 
 +  - **[[http://gallium.inria.fr/~fpottier/stages/sujet2020-m2.pdf|Verification of Chunk Sequences]]** \\ <color grey>Arthur Charguéraud, Inria, Strasbourg et François Pottier, Inria, Paris</color>\\ <color grey>2.4,2.36.1,2.7.1,2.7.2</color> 
 +  - **[[https://www.di.ens.fr/~cchuang/proposal/stage_M2_fonction_soumodulaire.pdf|Streaming Algorithms for Submodular Function Optimisation]]** \\ <color grey>Chien-Chung Huang</color>\\ <color grey></color> 
 +  - **[[https://drive.google.com/file/d/1b3JptWsDXF52xiU5VgyqMn6BH3hzT0Ps/view?usp=sharing|Coarse Graining of Quantum Cellular Automata]]** \\ <color grey>Di Molfetta Marseille</color>\\ <color grey></color> 
 +  - **[[https://drive.google.com/file/d/1g3SdsE8uzQUc1A9WqiD9taRE-Enwnpdh/view?usp=sharing|Quantum Walking over a discrete sphere ]]** \\ <color grey>Di Molfetta LIS, Marseille</color>\\ <color grey></color> 
 +  **[[https://drive.google.com/file/d/1s9du5e7nfHvoUWmP3BQzqGX_gty_qgMN/view?usp=sharing|Manhattan Inhomogeneous Walk over directed graphs]]** \\ <color grey>Di Molfetta LIS, Marseille</color>\\ <color grey></color> 
 +  - **[[https://drive.google.com/file/d/1pWMFd8pEXMgaGO9x2PAp4aLHLcSHEIHt/view?usp=sharing|Searching in non-linear computing]]** \\ <color grey>Di Molfetta LIS, Marseille</color>\\ <color grey></color> 
 +  **[[http://a3nm.net/work/research/internships/stage-MPRI-cqfd.pdf|Provenance for Ontology-Mediated Query Answering]]** \\ <color grey>Antoine Amarilli (Télécom Paris), Pierre Bourhis (Inria Lille)</color>\\ <color grey> Web Data Management 2.26.2</color> 
 +  - **[[https://a3nm.net/work/research/internships/stage-MPRI-equus.pdf|Enumerating Query Results on Multitrees]]** \\ <color grey>Antoine AmarilliLouis Jachiet, Luc Segoufin ; ENS Paris</color>\\ <color grey>2.26.1, 2.26.2</color> 
 +  - **[[https://sites.google.com/site/maurosozio/Int19DS.pdf?attredirects=0&d=1|Algorithms for Finding Quasi Cliques in Large Graphs]]** \\ <color grey>Mauro Sozio - Telecom Paris - Palaiseau</color>\\ <color grey></color> 
 +  - **[[https://sites.google.com/site/maurosozio/intDT19.pdf?attredirects=0&d=1|Dynamic Trajectory Clustering]]** \\ <color grey>Mauro Sozio - Telecom Paris - Palaiseau</color>\\ <color grey></color> 
 +  - **[[https://sites.google.com/site/maurosozio/intDC19.pdf?attredirects=0&d=1|Dynamic Approximation Algorithms for Clustering]]** \\ <color grey>Mauro Sozio Telecom Paris - Palaiseau</color>\\ <color grey></color> 
 +  - **[[https://www.lama.univ-savoie.fr/pagesmembres/hirschowitz/stages/familial-sos.html|Familial monads and structural operational semantics]]** \\ <color grey>Tom Hirschowitz - Chambéry</color>\\ <color grey>2.2,2.3.1,2.4</color> 
 +  - **[[https://gabriel.radanne.net/internship/2020typesearch.pdf|Recherche de fonctions par types]]** \\ <color grey>Gabriel Radanne (Cambium)</color>\\ <color grey></color> 
 +  **[[https://ninjalab.io/wp-content/uploads/2019/11/M2_ECDSA_Analysis.pdf|ECDSA Attack with partial knowledge for the Nonce]]** \\ <color grey>Thomas Roche / Laurent Imbert - LIRMM (Montpellier, France)</color>\\ <color grey>Techniques en cryptographie et cryptoanalyse</color> 
 +  - **[[https://jacquema.gitlabpages.inria.fr/files/AutomatedTranscriptionJazzSoli.pdf|Automated Transcription of Jazz Soli]]** \\ &lt;color grey>Florent Jacquemard, Philippe Rigaux, Vertigo team, Cedric, CNAM Paris</color>\\ <color grey>1.18, 2.16, 2.27.1</color> 
 +  **[[https://pierre.senellart.com/iasd/internships/topic?id=28|From Research Articles to a Structured Knowledge Base of Theorems]]** \\ <color grey>Pierre Senellart, ENS Paris</color>\\ <color grey>2-26-2</color> 
 +  - **[[https://wikimpri.dptinfo.ens-cachan.fr/lib/exe/fetch.php?media=cours:upload:advice-stage-2019.pdf|Online Computation with Untrusted Advice]]** \\ <color grey>Spyros Angelopoulos, LIP6, Sorbonne University</color>\\ <color grey></color> 
 +  **[[https://wikimpri.dptinfo.ens-cachan.fr/lib/exe/fetch.php?media=cours:upload:searching-stage-2019.pdf|Online Searching with Earliest Clearance]]** \\ <color grey>Spyros Angelopoulos, LIP6, Sorbonne University</color>\\ <color grey></color> 
 +  **[[https://www.di.ens.fr/~pouzet/cours/mpri/parkas-stage.pdf|Nouvelles fonctionnalités pour un compilateur Lustre formellement vérifié avec Coq]]** \\ <color grey>Timothy Bourke & Marc Pouzet - Inria/ENS</color>\\ <color grey>2-23-1</color> 
 +  - **[[http://www.lri.fr/~marche/preuveRust.pdf|Vérification déductive de programmes     respectant une discipline de typage à la Rust]]** \\ <color grey>Jacques-Henri Jourdan Univ. Paris-Saclay</color>\\ <color grey>2-36-1</color> 
 +  - **[[https://www-master.ufr-info-p6.jussieu.fr/2019/Garanties-d-exe%CC%81cution-de| Garanties d’exécution de programmes OCaLustre et OCaml pour microcontrôleurs]]** \\ <color grey>Emmanuel Chailloux - Steven Varoumas (équipe APR - LIP6 - Sorbonne Université - campus  Jussieu - Paris)- steven.varoumas@lip6.fr</color>\\ <color grey></color>
  
 
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