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

cours:themes2013 [2015/04/13 18:52] (current)
amadio created
Line 1: Line 1:
 +=== Themes covered by the level 2 modules  (this was last updated in 2013) ===
 +MPRI provides excellent coverage of the following themes in Computer Science:
 +
 +COCO = Computability and Complexity,
 +
 +ALGO = Algorithms,
 +
 +COCA = Combinatorics and Computer Algebra,
 +
 +CCSE = Cryptography, Coding, and Security, 
 +
 +LSPR = Logics and Semantics of Programs, 
 +
 +AUDE = Automated Deduction,
 +
 +AUFL = Automata and Formal Languages,
 +
 +SPAV = System Programming, Analysis, and Verification. 
 +
 +
 +The following table roughly summarizes the main themes covered by each level 2 module. 
 +
 +/** The last column R&D  points to the modules whose contents is more directly relevant to the students who pursue a career in 
 +Research and Development. **/
 +
 +
 +
 +|**Module**                                                                 |COCO|ALGO|COCA|CCSE|LSPR|AUDE|AUFL|SPAV|
 +|[[C-2-1|2.1]]  Linear logic                                                |    |    |    |    | X  | X  |    |    |   
 +|[[C-2-2|2.2]]  Models of programming languages: domains, categories, games |    |    |    |    | X  |    |    |    |   
 +|[[C-2-3|2.3]]  Concurrency                                                 |    |    |    |    | X  |    |    | X  |
 +|[[C-2-4-2|2.4]] Functional programming and type systems                    |    |    |    |    | X  |    |    | X  | 
 +|[[C-2-5|2.5.1]] Automated deduction                                          |    |    |    |    |    | X  |    |    | 
 +|[[C-2-6|2.6]] Abstract interpretation: application to verification and static analysis  |    |    |    |    | X  |    |    | X  | 
 +|[[C-2-7-1|2.7.1]] Foundations of proof systems                             |    |    |    |    | X  | X  |    |    |   
 +|[[C-2-7-2|2.7.2]] Proof assistants                                         |    |    |    |    |    | X  |    |    | 
 +|[[C-2-8|2.8]] Foundations of real time systems verification                |    |    |    |    |    |    | X  | X  | 
 +|[[C-2-9-1|2.9.1]] Mathematical foundations of the theory of infinite transition systems |    |    |    |    |    | X  | X  | X  |   
 +|[[C-2-9-2|2.9.2]] Algorithmic verification of programs                     |    |    |    |    |    | X  | X  | X  |
 +|[[C-2-10|2.10]] Algorithmic aspects of combinatorics                       |    | X  | X  |    |    |    |    |    |  
 +|[[C-2-11-1|2.11.1]] Randomized algorithms                                  | X  | X  |    |    |    |    |    |    |  
 +|[[C-2-11-2|2.11.2]] Randomness in complexity                               | X  | X  |    |    |    |    |    |    |   
 +|[[C-2-12-1|2.12.1]] Techniques in cryptography and cryptanalysis           |    |    |    | X  |    |    |    |    | 
 +|[[C-2-12-2|2.12.2]] Arithmetic algorithms for cryptology                   |    |    |    | X  |    |    |    |    |   
 +|[[C-2-13-1|2.13.1]] Polynomial systems, computer algebra and applications  |    |    | X  | X  |    |    |    |    |   
 +|[[C-2-13-2|2.13.2]] Error correcting codes and applications to cryptography|    |    |    | X  |    |    |    |    |   
 +|[[C-2-14-1|2.14.1]] Computational geometry learning                        |    | X  |    |    |    |    |    |    |   
 +|[[C-2-15|2.15]] Analysis of algorithms                                     |    | X  | X  |    |    |    |    |    |   
 +|[[C-2-16|2.16]] Finite automata modelling                                  |    |    |    |    |    |    | X  | X  |   
 +|[[C-2-17-1|2.17.1]] Foundations of network models                          |    |    |    |    |    |    | X  | X  |  
 +|[[C-2-18-1|2.18.1]]  Distributed algorithms on networks                    |    | X  |    |    |    |    |    | X  |   
 +|[[C-2-18-2|2.18.2]] Distributed algorithms on shared memory                |    | X  |    |    |    |    |    | X  | 
 +|[[C-2-19|2.19]] Computational methods for systems and synthetic biology    |    |    |    |    |    |    |    | X  |  
 +|[[C-2-20-1|2.20.1]] Game theory techniques in computer science             |    |    |    |    |    |    | X  |    |  
 +|[[C-2-20-2|2.20.2]] Mathematical foundations of automata theory            |    |    |    |    |    |    | X  |    |  
 +|[[C-2-22|2.22]] Efficient algorithms in computer algebra                   | X  | X  | X  |    |    |    |    |    | 
 +|[[C-2-23-1|2.23.1]] Synchronous systems                                    |    |    |    |    | X  |    |    | X  | 
 +|[[C-2-24-1|2.24.1]] Optimization                                           |    | X  |    |    |    |    |    |    | 
 +|[[C-2-26-1|2.26.1]]  Logic, descriptive complexity and database theory     | X  |    |    |    | X  |    | X  |    |   
 +|[[C-2-26-2|2.26.2]]  Web data management                                   | X  |    |    |    | X  |    | X  |    | 
 +|[[C-2-27-1|2.27.1]] Computational structures and logics for natural language modelling |    |    |    |    | X  |    |    |    |   
 +|[[C-2-29-1|2.29.1]] Graph algorithms                                       |    | X  |    |    |    |    |    |    |  
 +|[[C-2-30|2.30]] Cryptographic protocols: computational and symbolic proofs |    |    |    | X  |    | X  |    |    | 
 +|[[C-2-31-1|2.31-1]] Constraint satisfaction problems: algorithms and complexity | X   | X   |    |   |    | X  |    |    | 
 +|[[C-2-33-1|2.33.1]]  Theory of computations                                | X  | X  |    |    |    |    |    |    |  
 +|[[C-2-34-1|2.34.1]]  Quantum information and applications                  | X  |    |    | X  |    |    |    |    |  
 +|[[C-2-35-1|2.35.1]]  Constraint programming                                |    |    |    |    | X  | X  |    |    | 
 +|[[C-2-36-1|2.36.1]] Proofs of programs                                     |    |    |    |    | X  | X  |    |    | 
 +|[[C-2-37-1|2.37.1]]  Semantics, languages and algorithms for multicore programming |    |    |    |    | X  |    |    | X  | 
 +|[[C-2-38-1|2.38.1]]  Algorithms and combinatorics for geometric graphs     |    | X  | X  |    |    |    |    |    |   
 +|**Module**                                                                 |COCO|ALGO|COCA|CCSE|LSPR|AUDE|AUFL|SPAV| 
  
 
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