Informatique : concepts et applications

Informations générales sur le parcours Informatique : concepts et applications

Content Presentation

Le parcours Informatique : concepts et applications propose une formation axée essentiellement sur les aspects fondamentaux de l'informatique, et prépare principalement à la recherche en informatique. De très solides bases en mathématiques et en informatique théorique sont nécessaires pour suivre ce cursus.

Un cursus en 2 ans

Master 1 :
- Le premier semestre est consacré à des cours fondamentaux : informatique quantique, évaluation de performances, compilation et analyse de programmes, calcul parallèle et distribué, optimisation et approximation.
- Le deuxième semestre propose un choix plus large de cours permettant d'approfondir certains thèmes et de commencer à se spécialiser. Il se conclut par un stage de 12 semaines à l'étranger.
Master 2 :
- Au premier semestre, les étudiants choisissent quelques cours parmi un choix très étendu et fréquemment renouvelé, de l'ordre d'une vingtaine de cours, qui couvrent un spectre très large des domaines actifs dans la recherche en informatique. Une spécialisation en Systèmes Complexes est proposée, conjointement avec le département de physique.
- Au deuxième semestre, les étudiants font un stage de recherche.

La liste des cours actuels est consultable dans l'onglet Programme. La liste des cours de M2 de l'année prochaine, dont une partie est renouvelée, est accessible sur le site du département d'informatique.

Établissement(s) (co-)accrédité(s)

École normale supérieure de Lyon

Doubles diplômes

Disciplines

Informatique

Content Programme

Master 1 (2023/2024)

Semestre 1
- Semestre 1 à l'ENSL
  - Projet intégré / integrated project
    - Projet Intégré 1 (3 ECTS) INFO4102
  - Cours de base / Core courses
    - Cours de base, choix 1 1 cours au choix
      - Quantum Computer Science (6 ECTS) INFO4109
      - Performance Evaluation (6 ECTS) INFO4110
      - Optimisation et Approximation (6 ECTS) INFO4105
      - Algorithmique et Programmation Parallèles et Distribuées (6 ECTS) INFO4106
      - Compilation et Analyse de Programmes (6 ECTS) INFO4107
    - Cours de base, choix 2 1 cours au choix
      - Quantum Computer Science (6 ECTS) INFO4109
      - Performance Evaluation (6 ECTS) INFO4110
      - Optimisation et Approximation (6 ECTS) INFO4105
      - Algorithmique et Programmation Parallèles et Distribuées (6 ECTS) INFO4106
      - Compilation et Analyse de Programmes (6 ECTS) INFO4107
    - Cours de base, choix 3 1 cours au choix
      - Quantum Computer Science (6 ECTS) INFO4109
      - Performance Evaluation (6 ECTS) INFO4110
      - Optimisation et Approximation (6 ECTS) INFO4105
      - Algorithmique et Programmation Parallèles et Distribuées (6 ECTS) INFO4106
      - Compilation et Analyse de Programmes (6 ECTS) INFO4107
    - Cours de base, choix 4 1 cours au choix
      - Quantum Computer Science (6 ECTS) INFO4109
      - Performance Evaluation (6 ECTS) INFO4110
      - Optimisation et Approximation (6 ECTS) INFO4105
      - Algorithmique et Programmation Parallèles et Distribuées (6 ECTS) INFO4106
      - Compilation et Analyse de Programmes (6 ECTS) INFO4107
  - Cours de langue obligatoire / Language course
    - Cours ENS au choix (3 ECTS)
- Semestre 1 hors ENSL
  - Semestre 1 Hors ENSL / Semester 1 out of ENSL
    - Semester 1 validated out of ENSL (30 ECTS) INFO4108
Semestre 2
- Semestre 2 à l'ENSL
  - Projet intégré / Integrated project
    - Projet Intégré 2 (3 ECTS) INFO4208
  - Cours de base / Core courses
    - Liste des cours de base 2d semestre, choix 1 1 cours au choix
      - Sémantique et vérification (3 ECTS) INFO4212
      - Preuves et programmes (3 ECTS) INFO4213
      - Cryptographie et sécurité (3 ECTS) INFO4214
      - Gestion et fouille de donnés (3 ECTS) INFO4215
      - Géométrie Computationnelle et Images Digitales (3 ECTS) INFO4216
      - Complexité Algorithmique (3 ECTS) INFO4217
      - Calcul formel (3 ECTS) INFO4218
      - Systèmes Distribués (3 ECTS) INFO4219
      - Fondements de l'Apprentissage (3 ECTS) INFO4222
    - Liste des cours de base 2d semestre, choix 2 1 cours au choix
      - Sémantique et vérification (3 ECTS) INFO4212
      - Preuves et programmes (3 ECTS) INFO4213
      - Cryptographie et sécurité (3 ECTS) INFO4214
      - Gestion et fouille de donnés (3 ECTS) INFO4215
      - Géométrie Computationnelle et Images Digitales (3 ECTS) INFO4216
      - Complexité Algorithmique (3 ECTS) INFO4217
      - Calcul formel (3 ECTS) INFO4218
      - Systèmes Distribués (3 ECTS) INFO4219
      - Fondements de l'Apprentissage (3 ECTS) INFO4222
    - Liste des cours de base 2d semestre, choix 3 1 cours au choix
      - Sémantique et vérification (3 ECTS) INFO4212
      - Preuves et programmes (3 ECTS) INFO4213
      - Cryptographie et sécurité (3 ECTS) INFO4214
      - Gestion et fouille de donnés (3 ECTS) INFO4215
      - Géométrie Computationnelle et Images Digitales (3 ECTS) INFO4216
      - Complexité Algorithmique (3 ECTS) INFO4217
      - Calcul formel (3 ECTS) INFO4218
      - Systèmes Distribués (3 ECTS) INFO4219
      - Fondements de l'Apprentissage (3 ECTS) INFO4222
    - Liste des cours de base 2d semestre, choix 4 1 cours au choix
      - Sémantique et vérification (3 ECTS) INFO4212
      - Preuves et programmes (3 ECTS) INFO4213
      - Cryptographie et sécurité (3 ECTS) INFO4214
      - Gestion et fouille de donnés (3 ECTS) INFO4215
      - Géométrie Computationnelle et Images Digitales (3 ECTS) INFO4216
      - Complexité Algorithmique (3 ECTS) INFO4217
      - Calcul formel (3 ECTS) INFO4218
      - Systèmes Distribués (3 ECTS) INFO4219
      - Fondements de l'Apprentissage (3 ECTS) INFO4222
  - Cours de langue obligatoire / Language course
    - Cours ENS au choix (3 ECTS)
  - Stage de Recherche / Research internship
    - Research internship (12 ECTS) INFO4211
- Semestre 2 hors ENSL
  - Semestre 2 hors ENSL et stage / Semester 2 out of ENSL and internship
    - Semester 2 validated out of ENSL (18 ECTS) INFO4221
    - Research internship (12 ECTS) INFO4211

Master 2 (2023/2024)

Semestre 1
- Semestre 1 à l'ENSL
  - Cours de base / Core courses
    - Cours de base, choix 1 1 cours au choix
      - CR01: Large scale optimization for machine learning (5 ECTS) INFO5179
      - CR02: Polynomials in combinatorics and in complexity theory (5 ECTS) INFO5180
      - CR03: Avanced Systems (5 ECTS) INFO5185
      - CR04: Causality: inferring and reasoning with causal relations (5 ECTS) INFO5182
      - CR05: Confidential Computing Systems (5 ECTS) INFO5183
      - CR06: Virtualization technologies: Design and Implementation (5 ECTS) INFO5184
      - CR07: Molecular programming: Theory & experiment (5 ECTS) INFO5186
      - CR08: Markov Decision Processes and Reinforcement Learning (5 ECTS) INFO5187
      - CR09: Machine learning for graphs and with graphs (5 ECTS) INFO5188
      - CR10: Algorithms for public-key cryptography (5 ECTS) INFO5189
      - CR11: Computability theory and applications (5 ECTS) INFO5166
      - CR12: Data-aware algorithms for matrix and tensor computations (5 ECTS) INFO5191
      - CR13: Applied Lattice Cryptography (5 ECTS) INFO5192
      - CR14: Distributed algorithms for networks (5 ECTS) INFO5193
      - CR15: Category theory for computer scientists (5 ECTS) INFO5194
      - CR16 Approximation Theory and Proof Assistants: Certified Computations (5 ECTS) INFO5195
      - CR17: Coalgebra: abstract tools for reasoning on state-based systems (5 ECTS) INFO5196
      - CR18: Network Measurements (5 ECTS) INFO5197
    - Cours de base, choix 2 1 cours au choix
      - CR01: Large scale optimization for machine learning (5 ECTS) INFO5179
      - CR02: Polynomials in combinatorics and in complexity theory (5 ECTS) INFO5180
      - CR03: Avanced Systems (5 ECTS) INFO5185
      - CR04: Causality: inferring and reasoning with causal relations (5 ECTS) INFO5182
      - CR05: Confidential Computing Systems (5 ECTS) INFO5183
      - CR06: Virtualization technologies: Design and Implementation (5 ECTS) INFO5184
      - CR07: Molecular programming: Theory & experiment (5 ECTS) INFO5186
      - CR08: Markov Decision Processes and Reinforcement Learning (5 ECTS) INFO5187
      - CR09: Machine learning for graphs and with graphs (5 ECTS) INFO5188
      - CR10: Algorithms for public-key cryptography (5 ECTS) INFO5189
      - CR11: Computability theory and applications (5 ECTS) INFO5166
      - CR12: Data-aware algorithms for matrix and tensor computations (5 ECTS) INFO5191
      - CR13: Applied Lattice Cryptography (5 ECTS) INFO5192
      - CR14: Distributed algorithms for networks (5 ECTS) INFO5193
      - CR15: Category theory for computer scientists (5 ECTS) INFO5194
      - CR16 Approximation Theory and Proof Assistants: Certified Computations (5 ECTS) INFO5195
      - CR17: Coalgebra: abstract tools for reasoning on state-based systems (5 ECTS) INFO5196
      - CR18: Network Measurements (5 ECTS) INFO5197
    - Cours de base, choix 3 1 cours au choix
      - CR01: Large scale optimization for machine learning (5 ECTS) INFO5179
      - CR02: Polynomials in combinatorics and in complexity theory (5 ECTS) INFO5180
      - CR03: Avanced Systems (5 ECTS) INFO5185
      - CR04: Causality: inferring and reasoning with causal relations (5 ECTS) INFO5182
      - CR05: Confidential Computing Systems (5 ECTS) INFO5183
      - CR06: Virtualization technologies: Design and Implementation (5 ECTS) INFO5184
      - CR07: Molecular programming: Theory & experiment (5 ECTS) INFO5186
      - CR08: Markov Decision Processes and Reinforcement Learning (5 ECTS) INFO5187
      - CR09: Machine learning for graphs and with graphs (5 ECTS) INFO5188
      - CR10: Algorithms for public-key cryptography (5 ECTS) INFO5189
      - CR11: Computability theory and applications (5 ECTS) INFO5166
      - CR12: Data-aware algorithms for matrix and tensor computations (5 ECTS) INFO5191
      - CR13: Applied Lattice Cryptography (5 ECTS) INFO5192
      - CR14: Distributed algorithms for networks (5 ECTS) INFO5193
      - CR15: Category theory for computer scientists (5 ECTS) INFO5194
      - CR16 Approximation Theory and Proof Assistants: Certified Computations (5 ECTS) INFO5195
      - CR17: Coalgebra: abstract tools for reasoning on state-based systems (5 ECTS) INFO5196
      - CR18: Network Measurements (5 ECTS) INFO5197
    - Cours de base, choix 4 1 cours au choix
      - CR01: Large scale optimization for machine learning (5 ECTS) INFO5179
      - CR02: Polynomials in combinatorics and in complexity theory (5 ECTS) INFO5180
      - CR03: Avanced Systems (5 ECTS) INFO5185
      - CR04: Causality: inferring and reasoning with causal relations (5 ECTS) INFO5182
      - CR05: Confidential Computing Systems (5 ECTS) INFO5183
      - CR06: Virtualization technologies: Design and Implementation (5 ECTS) INFO5184
      - CR07: Molecular programming: Theory & experiment (5 ECTS) INFO5186
      - CR08: Markov Decision Processes and Reinforcement Learning (5 ECTS) INFO5187
      - CR09: Machine learning for graphs and with graphs (5 ECTS) INFO5188
      - CR10: Algorithms for public-key cryptography (5 ECTS) INFO5189
      - CR11: Computability theory and applications (5 ECTS) INFO5166
      - CR12: Data-aware algorithms for matrix and tensor computations (5 ECTS) INFO5191
      - CR13: Applied Lattice Cryptography (5 ECTS) INFO5192
      - CR14: Distributed algorithms for networks (5 ECTS) INFO5193
      - CR15: Category theory for computer scientists (5 ECTS) INFO5194
      - CR16 Approximation Theory and Proof Assistants: Certified Computations (5 ECTS) INFO5195
      - CR17: Coalgebra: abstract tools for reasoning on state-based systems (5 ECTS) INFO5196
      - CR18: Network Measurements (5 ECTS) INFO5197
  - Cours supplémentaires / Additional courses
    - Cours supplémentaire M2, choix 1 1 cours au choix
      - Cours ENS au choix ( ECTS)
      - Cours ENS au choix ( ECTS)
      - Cours externe libre (5 ECTS)
    - Cours supplémentaire M2, choix 2 1 cours au choix
      - Cours ENS au choix ( ECTS)
      - Cours ENS au choix ( ECTS)
      - Cours externe libre (5 ECTS)
    - Cours supplémentaire M2, choix 3 1 cours au choix
      - Cours ENS au choix ( ECTS)
      - Cours ENS au choix ( ECTS)
      - Cours externe libre (5 ECTS)
    - Cours supplémentaire M2, choix 4 1 cours au choix
      - Cours ENS au choix ( ECTS)
      - Cours ENS au choix ( ECTS)
      - Cours externe libre (5 ECTS)
- Semestre 1 hors ENSL
  - Semestre 1 hors ENSL / Semester 1 out of ENSL
    - Semester 1 validated out of ENSL (30 ECTS) INFO5159
Semestre 2
- Semestre 2 à l'ENSL
  - Stage de Recherche / Research internship
    - Research internship (30 ECTS) INFO5201
- Semestre 2 hors ENSL
  - Semestre 2 hors ENSL / Semester 2 out of ENSL
    - Semester 2 validated out of ENSL (30 ECTS) INFO5202

Langue d'enseignement

100% des cours sont donnés en anglais.

D'autres possibilités dans votre formation

Content Admission

Vous êtes Étudiant français

Vous êtes Étudiant de l'UE/EEE

Vous êtes Étudiant non européen

Content Formation continue

Parcours de master dispensé à temps plein sans aménagements spécifiques pour la formation continue.

Pour tout renseignement, contactez le Service formation continue de l'ENS de Lyon en complétant ce formulaire :

Formulaire

Content et apres

Débouchés

Les débouchés professionnels de ce parcours sont :

Chercheur et enseignant-chercheur en informatique
Ingénieur en recherche et développement
Cadres dans de grands établissements académiques français et étrangers et dans des laboratoires industriels de pointe

Poursuivre sa formation

Doctorat

Accès directs

Outils

Parcours Informatique : concepts et applications

Tous les parcours

Zoom sur

Diplôme de l'ENS de Lyon

CPES Sciences et société

Cours pour les étudiants en échange

Étudier à l'étranger

Stages

Informations générales sur le parcours Informatique : concepts et applications

Un cursus en 2 ans

Master 1 (2023/2024)

Semestre 1

Semestre 1 à l'ENSL

Projet intégré / integrated project

Cours de base / Core courses

Cours de langue obligatoire / Language course

Semestre 1 hors ENSL

Semestre 1 Hors ENSL / Semester 1 out of ENSL

Semestre 2

Semestre 2 à l'ENSL

Projet intégré / Integrated project

Cours de base / Core courses

Cours de langue obligatoire / Language course

Stage de Recherche / Research internship

Semestre 2 hors ENSL

Semestre 2 hors ENSL et stage / Semester 2 out of ENSL and internship

Master 2 (2023/2024)

Semestre 1

Semestre 1 à l'ENSL

Cours de base / Core courses

Cours supplémentaires / Additional courses

Semestre 1 hors ENSL

Semestre 1 hors ENSL / Semester 1 out of ENSL

Semestre 2

Semestre 2 à l'ENSL

Stage de Recherche / Research internship

Semestre 2 hors ENSL

Semestre 2 hors ENSL / Semester 2 out of ENSL

Langue d'enseignement

D'autres possibilités dans votre formation

Vous êtes Étudiant français

Vous êtes Étudiant de l'UE/EEE

Vous êtes Étudiant non européen

Débouchés

Poursuivre sa formation