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/08/01 18:10] (current)
Line 27: Line 27:
   - **[[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.irif.fr/~kesner/stages/sujet-2019-b.pdf|Strong Call-by-Need]]** \\ <color grey>Thibaut Balabonski and Delia Kesner</color>\\ <color grey></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>   - **[[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.di.ens.fr/~rival/interns/stage-set-ext.pdf|Separation Logic with Summary Predicates Described by Set Universal Quantification]]** \\ <color grey>Xavier Rival</color>\\ <color grey></color>
 +  - **[[https://www.di.ens.fr/~rival/interns/stage-sched.pdf| Automatic Verification of an Abstract Machine for Synthesized Operating System Schedulers]]** \\ <color grey>Xavier Rival</color>\\ <color grey></color>
 +  - **[[https://www.di.ens.fr/~mthomazo/dimension-dependent-omqa.html|Ontology-Mediated Query Answering for Dimension-Dependent Data]]** \\ <color grey>Meghyn Bienvenu and Michaël Thomazo -- Labri (Bordeaux) and Inria/DI ENS (Paris)</color>\\ <color grey>2.26.1, 2.26.2</color>
 +  - **[[http://www.irisa.fr/prive/talpin/cps.pdf|A logical framework to verify requirements of hybrid system models]]** \\ <color grey>Jean-Pierre Talpin (Inria, Rennes) et Benoit Boyer (MERCE, Rennes)</color>\\ <color grey></color>
 +  - **[[http://www.irisa.fr/prive/talpin/frp.pdf|programmation vérifiée de fonctions de flot]]** \\ <color grey>Jean-Pierre Talpin, Inria Rennes</color>\\ <color grey></color>
 +  - **[[https://lean-forward.github.io/internships/arith_cast.pdf|Arithmetic and casting in Lean]]** \\ <color grey>Robert Lewis and Jasmin Blanchette, Vrije Universiteit Amsterdam</color>\\ <color grey></color>
 +  - **[[http://www.cmap.polytechnique.fr/~allamigeon/M2_internship_MPRI.pdf|Formalization of polyhedra in the proof assistant Coq]]** \\ <color grey>Xavier Allamigeon - INRIA Saclay and CMAP, Ecole Polytechnique </color>\\ <color grey>2.7.1, 2.7.2</color>
 +  - **[[http://www.lix.polytechnique.fr/~amturing/stages.html|Compact 3D meshes: structures de données compactes pour les maillages 3D]]** \\ <color grey>Luca Castelli Aleardi (LIX, Ecole Polytechnique) - Olivier Devillers (Loria, Nancy)</color>\\ <color grey>2.38.1, 2.14.1</color>
 +  - **[[https://www-apr.lip6.fr/~mine/enseignement/mpri/2018-2019/stages/ai_back.pdf|Backward Abstract Interpretation using Over and Under-Approximations]]** \\ <color grey>Antoine Miné - LIP6, Sorbonne Université</color>\\ <color grey>2.6</color>
 +  - **[[https://www-apr.lip6.fr/~mine/enseignement/mpri/2018-2019/stages/ai_contract.pdf|Static Analysis of Ethereum Smart Contracts by Abstract Interpretation]]** \\ <color grey>Antoine Miné - LIP6, Sorbonne Université</color>\\ <color grey>2.6</color>
 +  - **[[http://www.lsv.fr/~baelde/OT-security-internship.pdf|Formal Proofs of Security Protocols involving Oblivious Transfer]]** \\ <color grey>David Baelde, Hubert Comon, Caroline Fontaine</color>\\ <color grey>2-30</color>
 +  - **[[ https://www.di.ens.fr/~cezarad/SAConc.pdf| Analysis concurrent objects with concurrent specifications]]** \\ <color grey>Cezara DRAGOI - ENS Ulm</color>\\ <color grey></color>
 +  - **[[https://www.di.ens.fr/~cezarad/AutomatedVerif.pdf|Static analysis of fault-tolerant distributed protocols]]** \\ <color grey>Cezara DRAGOI- INRIA/ENS Ulm</color>\\ <color grey></color>
 +  - **[[https://lipn.univ-paris13.fr/~breuvart/Stage/GradedProfunctor.pdf|Toward graded arrows and graded profunctors]]** \\ <color grey>Flavien Breuvart and Thomas Seiller</color>\\ <color grey>2.1, 2.2, 2.4, (2.6)</color>
 +  - **[[https://lipn.univ-paris13.fr/~breuvart/Stage/ScheduleTypes.pdf|Formalisation of scheduled types]]** \\ <color grey>Flavien Breuvart and Micaela Mayero</color>\\ <color grey>2.2, 2.4, 2.7.2,  (2.6)</color>
 +  - **[[https://jobs.apple.com/en-gb/details/114392875/apple-2019-internship-cryptography?team=SFTWR|Video encoding and encryption]]** \\ <color grey>Thomas icart - Paris 75116</color>\\ <color grey></color>
 +  - **[[https://www.math.univ-toulouse.fr/~msablik/sujet_M2_SystemeDynamiqueCalculable.pdf|Sujet de stage M2: Undecidability in perturbed dynamical systems]]** \\ <color grey>Sablik Mathieu - IMT - Toulouse</color>\\ <color grey>Cours 2.33.3 Calculs sur les réels: modèles, calculabilité, complexité </color>
 +  - **[[https://wikimpri.dptinfo.ens-cachan.fr/lib/exe/fetch.php?media=cours:upload:2-24-1-2018-stage-stochastic.pdf|Stochastic analysis of online algorithms for Steiner tree problems]]** \\ <color grey>Spyros Angelopoulos- LIP6, Sorbonne Université</color>\\ <color grey></color>
 +  - **[[http://www.lacl.fr/pvanier/rech/M2_croissance.pdf|Exponential growths of groups]]** \\ <color grey>Pascal Vanier - LACL - UPEC</color>\\ <color grey>2.33.1</color>
 +  - **[[https://www.lama.univ-savoie.fr/pagesmembres/hirschowitz/stages/familial-sos-en.pdf|Familial monads and structural operational semantics]]** \\ <color grey>Tom Hirschowitz - Chambéry</color>\\ <color grey>1-20, 2.2, 2.3.1</color>
 +  - **[[ https://specfun.inria.fr/~amahboub/internships/bool_hammer.pdf|Hammer-style automation for dependent type theory]]** \\ <color grey>Assia Mahboubi, Denis Cousineau - inria Nantes / Mitsubishi Electric Rennes</color>\\ <color grey>2.7.1, 2.7.2</color>
 +  - **[[http://www-desir.lip6.fr/~spanjaard/Main/M2|Algorithmes d'optimisation pour apprendre une structure graphique de préférences]]** \\ <color grey>Olivier Spanjaard et Bruno Escoffier</color>\\ <color grey>2.29.1, 2.24.1</color>
 +  - **[[http://lbgi.fr/~sereni/topicM2_MPRI.pdf|Independence ratio & fractional chromatic number]]** \\ <color grey>Jean-Sébastien Sereni - Strasbourg</color>\\ <color grey>c-2-29-1</color>
 +  - **[[http://perso.ens-lyon.fr/daniel.hirschkoff/Stages/dh-lambda.pdf|Coinductive equivalences for extended λ-calculi]]** \\ <color grey>Daniel Hirschkoff at ENS de Lyon and Davide Sangiorgi at Univ. Bologna (Italy)</color>\\ <color grey></color>
 +  - **[[http://www.lri.fr/~marche/M2-algosup.pdf|Vérification par preuve formelle de propriétés fonctionnelles d’algorithmes de classification]]** \\ <color grey>Claude Marché - Inria Saclay & LRI - Université Paris-Sud</color>\\ <color grey>2-36-1,2.4,2.7</color>
 +  - **[[http://www-desir.lip6.fr/~bampise/stage-becool-new.pdf|Optimisation temporelle : entre efficacité et stabilité]]** \\ <color grey>Evripidis Bampis et Bruno Escoffier</color>\\ <color grey>2-24-1, 2-24-2, 2-11-1</color>
 +  - **[[https://www.ibisc.univ-evry.fr/~fpommereau/stage-m2r-2018.pdf|Analyse symbolique de modèles d’écosystèmes]]** \\ <color grey>Franck Pommereau, Université d'Évry - Paris-Saclay</color>\\ <color grey></color>
 +  - **[[https://www-master.ufr-info-p6.jussieu.fr/2018/3-stages-au-CEA-LIST-sur-les|A Virtual Machine Of Tendermint Blockchain]]** \\ <color grey>Zaynah Dargaye - CEA List </color>\\ <color grey></color>
 +  - **[[https://drive.google.com/open?id=1eCkj9juUJG8_lgTP50LtgKzw4cY0e-3t|Prototyping Delay-Aware V2X Safe Communications]]** \\ <color grey>Senti Mouelhi / Rafik Zitouni (ECE Paris)</color>\\ <color grey>System Programming, Analysis, and Verification</color>
 +  - **[[http://www.univ-orleans.fr/lifo/Members/Frederic.Dabrowski/M2_2019_Bousdira_Dabrowski.pdf|Programmation réactive synchrone : sémantique et application à l’internet des objets]]** \\ <color grey>Wadoud Bousdira, Frédéric Dabrowski - LIFO Orléans</color>\\ <color grey>2.1, 2.2, 2.3.1, 2.4,.2 2.7, 2.23.1, 2.36.1</color>
 +  - **[[http://www-desir.lip6.fr/~lustt/InternshipDynamicAlgorithmConfiguration|Dynamic algorithm configuration for interactive learning]]** \\ <color grey>Carola Doerr - Thibaut Lust - LIP6, Sorbonne Université</color>\\ <color grey>2.24.2 2.24.1 2.29.1</color>
 +  - **[[http://www-desir.lip6.fr/~lustt/InternshipApprentissageMulti-objectifs|Compromis entre temps de calcul et nombre de requêtes pour l'apprentissage de modèles d'agrégation en optimisation combinatoire multi-objectifs]]** \\ <color grey>Thibaut Lust - Nawal Benabbou - Lucie Galand - Sorbonne Université (LIP6)</color>\\ <color grey>2.24.2 2.24.1 2.29.1</color>
 +  - **[[https://a3nm.net/work/research/internships/stage-MPRI-enumeration.pdf|Efficient evaluation of regular patterns for information extraction]]** \\ <color grey>Antoine Amarilli, Pierre Bourhis, Stefan Mengel, Paris or Lille or Lens</color>\\ <color grey>Web Data Management 2.26.2</color>
 +  - **[[https://a3nm.net/work/research/internships/stage-MPRI-cqfd.pdf|Provenance for Ontology-Mediated Query Answering]]** \\ <color grey>Pierre Bourhis, Antoine Amarilli, Inria Lille or Télécom ParisTech</color>\\ <color grey>Web Data Management 2.26.2</color>
 +  - **[[https://perso.telecom-paristech.fr/kuznetso/at-bounded.pdf|Combinatorial Structures for Bonded-Memory Computing]]** \\ <color grey>Petr Kuznetsov (Telecom ParisTech)</color>\\ <color grey>2.18.2</color>
 +  - **[[https://perso.telecom-paristech.fr/kuznetso/blockchain-sync.pdf|Synchrony Assumptions for Blockchain Systems]]** \\ <color grey>Petr Kuznetsov (Telecom ParisTech)</color>\\ <color grey>2.18.2, 2.18.1</color>
 +  - **[[https://perso.telecom-paristech.fr/kuznetso/cortical.pdf|Robust Cortical Learning]]** \\ <color grey>Petr Kuznetsov (Telecom ParisTech)</color>\\ <color grey></color>
 +  - **[[https://perso.telecom-paristech.fr/kuznetso/nv.pdf|Non-Volatile Computability]]** \\ <color grey>Petr Kuznetsov (Telecom ParisTech)</color>\\ <color grey>2.18.2</color>
 +  - **[[http://www.labri.fr/perso/mlamali/segment_multi-layer.pdf|Algorithme de calcul de chemins par segments dans les réseaux multicouches]]** \\ <color grey>Mohamedf Lamine Lamali - LaBRI, Université de Bordeaux</color>\\ <color grey>2.29.1, 2.24.1, 2.18.1, 2.17.1</color>
 +  - **[[https://gouypailler.github.io/files/internRobustness.pdf|Towards randomized algorithms for preserving robustness of graph classification networks against adversarial attacks]]** \\ <color grey>Gouy-Pailler Cédric -- Saclay</color>\\ <color grey></color>
 +  - **[[https://www.irif.fr/~fredda/internship-irif.pdf|Logics for Distributed Algorithms]]** \\ <color grey>Benedikt Bolling, Arnaud Sangnier - IRIF</color>\\ <color grey>2.8.1 2.9.2 2.18</color>
 +  - **[[http://www.slabbe.org/Files/2018/offre_de_stage.pdf|On the computations made by aperiodic Wang tiles]]** \\ <color grey>Sébastien Labbé - CNRS, LaBRI, Bordeaux</color>\\ <color grey></color>
 +  - **[[http://www-poleia.lip6.fr/~pascualf/doc/stage.pdf|Ordonnancement et équité]]** \\ <color grey>Aurélie Beynier, Nicolas Maudet, Fanny Pascual  -  Laboratoire LIP6 (Sorbonne Université)</color>\\ <color grey>2.24.1, 2.11.1, 2.29.1, 2.24.2</color>
 +  - **[[https://www.lacl.fr/gava/stages/CoqMulti.pdf|Preuves en Coq de Programmes Multi-ML]]** \\ <color grey>Frédéric Gava</color>\\ <color grey></color>
 +  - **[[https://www.lacl.fr/gava/stages/VerifBD.pdf|Certifications de la traduction et de la compilation de openCypher (un langage de requêtes pour grands graphes)]]** \\ <color grey>Frédéric Gava</color>\\ <color grey></color>
 +  - **[[http://anupamdas.com/monotone-complexity.txt|Monotone complexity: decision procedures and function algebras]]** \\ <color grey>Anupam Das - Copenhagen</color>\\ <color grey></color>
 +  - **[[http://anupamdas.com/focussing-complexity.txt|Focussed proof systems and alternating time complexity]]** \\ <color grey>Anupam Das - Copenhagen</color>\\ <color grey></color>
 +  - **[[https://www.irif.fr/~cenea/RDS_internship.pdf|Verifying distributed data structures]]** \\ <color grey>Constantin Enea - IRIF</color>\\ <color grey>2.9.2, 2.6, 2.8.1, 2.37.1,</color>
 +  - **[[http://www-sysdef.lip6.fr/~hyon/Stages/stage_RL2019.pdf|Etudes et implémentations de modèles d’apprentissage par renforcement pour les jeux stochastiques de grande taille]]** \\ <color grey>Emmanuel Hyon et Pierre-Henri Wuillemin LIP6 Sorbonnes Universités Paris</color>\\ <color grey></color>
 +  - **[[http://www.lix.polytechnique.fr/~pilaud/stages/stage_MPRI19_complexesSousMots.pdf|Propriétés de treillis des complexes de sous-mots]]** \\ <color grey>Florent Hivert (LRI, Orsay) & Vincent Pilaud (LIX, École Polytechnique)</color>\\ <color grey>2.38.1, 2.10</color>
 +  - **[[https://xtof-durr.github.io/internships/19scheduling_testing|scheduling with testing]]** \\ <color grey>Christoph Dürr, Spyros Angelopoulos  - LIP6-</color>\\ <color grey>2-24-1</color>
 +  - **[[https://team.inria.fr/visages/files/2019/01/Internship-fMRI-deep-learning.pdf|Learning pipeline-independent statistic maps in fMRI]]** \\ <color grey>Camille Maumet & Elisa Fromont - Inria Rennes</color>\\ <color grey></color>
 +  - **[[https://team.inria.fr/visages/files/2019/01/Stage-BIDS-NIDM.pdf|Bridging the gap between brain imaging standards: towards federated queries in life sciences]]** \\ <color grey>Camille Maumet - Inria Rennes</color>\\ <color grey></color>
 +  - **[[https://www.ssi.gouv.fr/uploads/2019/01/s3041_comparaison-des-effets-d-une-attaque-par-faute-en-glitch-de-tension-par-rapport-aux-perturbations-electromagnetiques-sur-soc.pdf|Comparaison des effets d'une attaque par faute en glitch de tension par rapport aux perturbations électromagnétiques sur SoC]]** \\ <color grey>Thomas Trouchkine - ANSSI</color>\\ <color grey></color>
 +  - **[[https://www.irif.fr/~haberm/sujet1MPRI1819.pdf|Symbolic learning of regular transformations]]** \\ <color grey>Peter Habermehl - IRIF, University Paris Diderot</color>\\ <color grey></color>
 +  - **[[https://jobs.inria.fr/public/classic/en/offres/2019-01282/topdf|Hybrid differential-stochastic simulation ]]** \\ <color grey>F. Fages - Inria Saclay</color>\\ <color grey>C2-19</color>
 +  - **[[https://jobs.inria.fr/public/classic/fr/offres/2019-01283/topdf|Boolean SATisfiability modulo Differential Equations for verifying chemical reaction networks]]** \\ <color grey>F. Fages - Inria Saclay</color>\\ <color grey>C2-19</color>
 +  - **[[https://jobs.inria.fr/public/classic/en/offres/2019-01284/topdf|Visualisation of biochemical reaction networks using static analyzers]]** \\ <color grey>F. Fages - Inria Saclay</color>\\ <color grey>C2-19</color>
 +  - **[[http://www-desir.lip6.fr/~bampise/stage-M2-2019.pdf|Mariage stable avec des données qui évoluent dans le temps]]** \\ <color grey>E. Bampis, B. Escoffier</color>\\ <color grey></color>
 +  - **[[https://team.inria.fr/regal/job-offers/masters-internship-synchronisation-free-mobile-gaming/|Synchronisation-free mobile gaming]]** \\ <color grey>M Shapiro, Ilyas Toumlilt @LIP6</color>\\ <color grey></color>
 +  - **[[https://drive.google.com/file/d/0BzV_Fsu7aB54ZVdjODZRd1VuN2hDckxvVmVRM0VDcUV2eDlz/view?usp=sharing|Algorithms and data mining for transport networks]]** \\ <color grey>Laurent Viennot - IRIF</color>\\ <color grey>2.29.1, 2.29.2</color>
 +  - **[[https://www.irif.fr/~cristina/stage.pdf|Querying inconsistent data]]** \\ <color grey>Cristina Sirangelo and Diego Figueira - IRIF, Paris Diderot University + LABRI, Bordeaux</color>\\ <color grey></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>
 +  - **[[https://www.sfecologie.org/offre/a-qualitative-model-for-evolution-of-ecosystems/|A qualitative model for evolution of ecosystems]]** \\ <color grey>C. Gaucherel (and M. Maximova) - Montpellier</color>\\ <color grey>Graph Transformations (Krivine)</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