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

Double diplôme - École Centrale de Lyon - Ingénierie Recherche

Disciplines

Informatique

Content Programme

Master 1 (2024/2025)

Semestre 1
- Semestre 1 à l'ENSL
  - Cours de base / Core courses
    - Cours ENS au choix (3 ECTS)
    - Projet Intégré 1 (3 ECTS) INFO4102
    - 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
- 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
  - Cours de base / Core courses
    - Cours ENS au choix (3 ECTS)
    - Projet Intégré 2 (3 ECTS) INFO4208
    - Research internship (12 ECTS) INFO4211
    - 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
- 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 (2024/2025)

Semestre 1
- Semestre 1 à l'ENSL
  - Cours de base / Core courses
    - Cours de base, choix 1 1 cours au choix
      - CR01: Harnessing Inexactness in Scientific Computing (5 ECTS) INFO5198
      - CR02: Tensors and arithmetic circuits, from complexity theory to machine learning (5 ECTS) INFO5199
      - CR03: Robust discrete optimization (5 ECTS) INFO5101
      - CR04: Numerical Linear Algebra (5 ECTS) INFO5102
      - CR05: Computational Optimal Transport for Machine and Deep Learning (5 ECTS) INFO5103
      - 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: Modern Algorithms for Symbolic Summation and Integration (5 ECTS) INFO5104
      - CR12: Data-aware algorithms for matrix and tensor computations (5 ECTS) INFO5191
      - CR13: Fully Homomorphic Encryption (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: Harnessing Inexactness in Scientific Computing (5 ECTS) INFO5198
      - CR02: Tensors and arithmetic circuits, from complexity theory to machine learning (5 ECTS) INFO5199
      - CR03: Robust discrete optimization (5 ECTS) INFO5101
      - CR04: Numerical Linear Algebra (5 ECTS) INFO5102
      - CR05: Computational Optimal Transport for Machine and Deep Learning (5 ECTS) INFO5103
      - 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: Modern Algorithms for Symbolic Summation and Integration (5 ECTS) INFO5104
      - CR12: Data-aware algorithms for matrix and tensor computations (5 ECTS) INFO5191
      - CR13: Fully Homomorphic Encryption (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: Harnessing Inexactness in Scientific Computing (5 ECTS) INFO5198
      - CR02: Tensors and arithmetic circuits, from complexity theory to machine learning (5 ECTS) INFO5199
      - CR03: Robust discrete optimization (5 ECTS) INFO5101
      - CR04: Numerical Linear Algebra (5 ECTS) INFO5102
      - CR05: Computational Optimal Transport for Machine and Deep Learning (5 ECTS) INFO5103
      - 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: Modern Algorithms for Symbolic Summation and Integration (5 ECTS) INFO5104
      - CR12: Data-aware algorithms for matrix and tensor computations (5 ECTS) INFO5191
      - CR13: Fully Homomorphic Encryption (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: Harnessing Inexactness in Scientific Computing (5 ECTS) INFO5198
      - CR02: Tensors and arithmetic circuits, from complexity theory to machine learning (5 ECTS) INFO5199
      - CR03: Robust discrete optimization (5 ECTS) INFO5101
      - CR04: Numerical Linear Algebra (5 ECTS) INFO5102
      - CR05: Computational Optimal Transport for Machine and Deep Learning (5 ECTS) INFO5103
      - 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: Modern Algorithms for Symbolic Summation and Integration (5 ECTS) INFO5104
      - CR12: Data-aware algorithms for matrix and tensor computations (5 ECTS) INFO5191
      - CR13: Fully Homomorphic Encryption (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

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 (2024/2025)

Semestre 1

Semestre 1 à l'ENSL

Cours de base / Core courses

Semestre 1 hors ENSL

Semestre 1 Hors ENSL / Semester 1 out of ENSL

Semestre 2

Semestre 2 à l'ENSL

Cours de base / Core courses

Semestre 2 hors ENSL

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

Master 2 (2024/2025)

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

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 (2024/2025)

Semestre 1

Semestre 1 à l'ENSL

Cours de base / Core courses

Semestre 1 hors ENSL

Semestre 1 Hors ENSL / Semester 1 out of ENSL

Semestre 2

Semestre 2 à l'ENSL

Cours de base / Core courses

Semestre 2 hors ENSL

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

Master 2 (2024/2025)

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