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 [2019/10/30 18:44]
carton
internships [2019/12/07 22:24] (current)
Line 33: Line 33:
   - **[[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>   - **[[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.39, 1.22, 2.20.1</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.39, 1.22, 2.20.1</color>
 +  - **[[www.lri.fr/~hellouin/Hom.pdf|Isometry-invariant tilings]]** \\ <color grey>Benjamin Hellouin de Menibus - LRI, Université 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 - LIP, ENS 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>S. Vaiter - 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 Delmas, Youssef 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-1 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 formel, systèmes polynomiaux et applications]]** \\ <color grey>Mohab Safey El Din, LIP6, Sorbonne 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 Balalau, Ioana 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.39, 1.22</color>
 +  - **[[http://www.lix.polytechnique.fr/~bournez/load/sujet-2020-classes-complexite-MPRI.pdf|Characterization of NP or PSPACE with polynomial Ordinary Differential Equations. Continuous 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.-C. Aval, 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 Cailloux, MCF, 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 Amarilli, Louis 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]]** \\ <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