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 [2020/01/11 20:41]
carton
internships [2020/03/13 13:42] (current)
Line 91: Line 91:
   - **[[http://nts.imag.fr/images/8/85/ArchitectureSeparationLogic.pdf|Local Reasoning about Reconfigurable Component-based Systems]]** \\ <color grey>Radu Iosif - Verimag</color>\\ <color grey></color>   - **[[http://nts.imag.fr/images/8/85/ArchitectureSeparationLogic.pdf|Local Reasoning about Reconfigurable Component-based Systems]]** \\ <color grey>Radu Iosif - Verimag</color>\\ <color grey></color>
   - **[[http://nts.imag.fr/images/5/5e/InfiniteAlphabetAutomata.pdf|Verifying Concurrent Systems with Automata over Infinite Alphabets]]** \\ <color grey>Radu Iosif - Verimag</color>\\ <color grey></color>   - **[[http://nts.imag.fr/images/5/5e/InfiniteAlphabetAutomata.pdf|Verifying Concurrent Systems with Automata over Infinite Alphabets]]** \\ <color grey>Radu Iosif - Verimag</color>\\ <color grey></color>
 +  - **[[https://perso.telecom-paristech.fr/kuznetso/Projects/decentralized-trust.pdf|Cryptocurrencies in Systems with Decentralized Trust]]** \\ <color grey>Petr Kuznetsov (Telecom Paris)</color>\\ <color grey>2.18.2, 2.18.1</color>
 +  - **[[https://docs.google.com/document/d/1PoV5WVQ45yZbRi00s02kWNDhqdo7Oh0EZe_ss-FmnV0/edit?usp=sharing|Cryptographie Post-Quantique et Environnements Contraints]]** \\ <color grey>Carlos Aguilar Melchor - ISAE SUPAERO (Toulouse)</color>\\ <color grey>Cryptographie</color>
 +  - **[[http://www.lix.polytechnique.fr/Labo/Bernadette.Charron-Bost/m2-2020-ho.pdf|Résolubilité dans le modèle Heard-Of]]** \\ <color grey>B. Charron-Bost- LIX</color>\\ <color grey></color>
 +  - **[[https://pages.lip6.fr/Nathalie.Sznajder/stage.pdf|Encodage et résolution de jeux à 2 joueurs pour des réseaux de robots collaboratifs, par une approche basée sur les SAT-solvers]]** \\ <color grey>Souheib Baarir, Nathalie Sznajder, Sébastien Tixeuil - LIP6, Sorbonne Université</color>\\ <color grey></color>
 +  - **[[http://www.lacl.fr/pvanier/rech/M2_croissance.pdf|Liens entre groupes et pavages]]** \\ <color grey>Pascal Vanier - LACL </color>\\ <color grey></color>
 +  - **[[https://drive.google.com/open?id=1sLQ4R8GaKcT0pZGBomOEH4mn8HABdxQb|Formal Methods, Safety and AI]]** \\ <color grey>Zakaria Chihani - CEA Paris Saclay</color>\\ <color grey>2.36.1  Proofs of programs ; 2.35.1  Constraint programming ; 2.9.2  Algorithmic verification of programs  2.7.2  Proof assistants ; 2.7.1  Foundations of proof systems ; 2.5.1  Automated deduction ; 2.6 Abstract interpretation: application to verification and static analysis ;2-4 Functional programming and type systems ; 1-36 Initiation to research ; 1-39 Logical aspects of artificial intelligence ;1-22 Basics of verification ; 1-35 Introduction to Computer Vision ;</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