Présentation
Présentation du parcours
Le parcours Informatique fondamentale 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 : théorie de l'information, évaluation de performances et réseaux, compilation et analyse de programmes, calcul parallèle et distribué, optimisation et approximation.
- Le deuxième semestre propose un choix plus large permettant d'approfondir et de commencer à se spécialiser. Il y a ensuite 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.
Établissement(s) (co-)accrédité(s)
Disciplines
Programme
Code parcours
Informatique fondamentale
Maquettes
Semestre
Semestre 1
Sur UEs
Semestre 1 à l'ENSL
UEs
Cours de base / Core courses
Liste de Cours
Semestre 1 hors ENSL
- Semester 1 validated out of ENSL (30 ECTS) INFO4108
UEs
Semestre 1 Hors ENSL / Semester 1 out of ENSL
Cours
Semestre 2
Sur UEs
Semestre 2 à l'ENSL
- 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
- Apprentissage (3 ECTS) INFO4220
- 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
- Apprentissage (3 ECTS) INFO4220
- 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
- Apprentissage (3 ECTS) INFO4220
- 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
- Apprentissage (3 ECTS) INFO4220
UEs
Cours de base / Core courses
Liste de Cours
Liste des cours de base 2d semestre, choix 1
-
au choix
Cours
Liste des cours de base 2d semestre, choix 2
-
au choix
Cours
Liste des cours de base 2d semestre, choix 3
-
au choix
Cours
Liste des cours de base 2d semestre, choix 4
-
au choix
Cours
Maquettes
Semestre
Semestre 1
Sur UEs
Semestre 1 à l'ENSL
- Concentration of measure in probability and large-scale machine learning (5 ECTS) INFO5161
- The structure of graphs of high chromatic number (5 ECTS) INFO5162
- Logical Foundations of Programming Languages (5 ECTS) INFO5163
- Mathematical aspects of automata theory (5 ECTS) INFO5164
- Floating-point arithmetic and beyond (5 ECTS) INFO5165
- Computability theory and applications (5 ECTS) INFO5166
- Complex networks (5 ECTS) INFO5167
- Learning for Graphics, Graphics for Learning (5 ECTS) INFO5168
- Interactive and Non-Interactive Proofs in Complexity and Cryptography (5 ECTS) INFO5169
- Post-quantum cryptography (5 ECTS) INFO5170
- Algebraic methods and program correctness, graphs and automata (5 ECTS) INFO5171
- Computer-aided proofs and combinatorial exploration (5 ECTS) INFO5172
- Graph Decompositions (5 ECTS) INFO5173
- Static Analysis for Optimizing Compilers (5 ECTS) INFO5174
- Resource optimization for linear system solvers (5 ECTS) INFO5175
- Program verification with coinduction and proof assistants (5 ECTS) INFO5176
- Large scale sustainable distributed resource management (5 ECTS) INFO5177
- Distributed algorithms (5 ECTS) INFO5178
- Concentration of measure in probability and large-scale machine learning (5 ECTS) INFO5161
- The structure of graphs of high chromatic number (5 ECTS) INFO5162
- Logical Foundations of Programming Languages (5 ECTS) INFO5163
- Mathematical aspects of automata theory (5 ECTS) INFO5164
- Floating-point arithmetic and beyond (5 ECTS) INFO5165
- Computability theory and applications (5 ECTS) INFO5166
- Complex networks (5 ECTS) INFO5167
- Learning for Graphics, Graphics for Learning (5 ECTS) INFO5168
- Interactive and Non-Interactive Proofs in Complexity and Cryptography (5 ECTS) INFO5169
- Post-quantum cryptography (5 ECTS) INFO5170
- Algebraic methods and program correctness, graphs and automata (5 ECTS) INFO5171
- Computer-aided proofs and combinatorial exploration (5 ECTS) INFO5172
- Graph Decompositions (5 ECTS) INFO5173
- Static Analysis for Optimizing Compilers (5 ECTS) INFO5174
- Resource optimization for linear system solvers (5 ECTS) INFO5175
- Program verification with coinduction and proof assistants (5 ECTS) INFO5176
- Large scale sustainable distributed resource management (5 ECTS) INFO5177
- Distributed algorithms (5 ECTS) INFO5178
- Concentration of measure in probability and large-scale machine learning (5 ECTS) INFO5161
- The structure of graphs of high chromatic number (5 ECTS) INFO5162
- Logical Foundations of Programming Languages (5 ECTS) INFO5163
- Mathematical aspects of automata theory (5 ECTS) INFO5164
- Floating-point arithmetic and beyond (5 ECTS) INFO5165
- Computability theory and applications (5 ECTS) INFO5166
- Complex networks (5 ECTS) INFO5167
- Learning for Graphics, Graphics for Learning (5 ECTS) INFO5168
- Interactive and Non-Interactive Proofs in Complexity and Cryptography (5 ECTS) INFO5169
- Post-quantum cryptography (5 ECTS) INFO5170
- Algebraic methods and program correctness, graphs and automata (5 ECTS) INFO5171
- Computer-aided proofs and combinatorial exploration (5 ECTS) INFO5172
- Graph Decompositions (5 ECTS) INFO5173
- Static Analysis for Optimizing Compilers (5 ECTS) INFO5174
- Resource optimization for linear system solvers (5 ECTS) INFO5175
- Program verification with coinduction and proof assistants (5 ECTS) INFO5176
- Large scale sustainable distributed resource management (5 ECTS) INFO5177
- Distributed algorithms (5 ECTS) INFO5178
- Concentration of measure in probability and large-scale machine learning (5 ECTS) INFO5161
- The structure of graphs of high chromatic number (5 ECTS) INFO5162
- Logical Foundations of Programming Languages (5 ECTS) INFO5163
- Mathematical aspects of automata theory (5 ECTS) INFO5164
- Floating-point arithmetic and beyond (5 ECTS) INFO5165
- Computability theory and applications (5 ECTS) INFO5166
- Complex networks (5 ECTS) INFO5167
- Learning for Graphics, Graphics for Learning (5 ECTS) INFO5168
- Interactive and Non-Interactive Proofs in Complexity and Cryptography (5 ECTS) INFO5169
- Post-quantum cryptography (5 ECTS) INFO5170
- Algebraic methods and program correctness, graphs and automata (5 ECTS) INFO5171
- Computer-aided proofs and combinatorial exploration (5 ECTS) INFO5172
- Graph Decompositions (5 ECTS) INFO5173
- Static Analysis for Optimizing Compilers (5 ECTS) INFO5174
- Resource optimization for linear system solvers (5 ECTS) INFO5175
- Program verification with coinduction and proof assistants (5 ECTS) INFO5176
- Large scale sustainable distributed resource management (5 ECTS) INFO5177
- Distributed algorithms (5 ECTS) INFO5178
UEs
Cours de base / Core courses
Liste de Cours
Cours de base, choix 1
-
au choix
Cours
Cours de base, choix 2
-
au choix
Cours
Cours de base, choix 3
-
au choix
Cours
Cours de base, choix 4
-
au choix
Cours
Cours supplémentaires / Additional courses
Liste de Cours
Semestre 1 hors ENSL
- Semester 1 validated out of ENSL (30 ECTS) INFO5159
UEs
Semestre 1 hors ENSL / Semester 1 out of ENSL
Cours
Langue d'enseignement
100% des cours sont donnés en anglais.
D'autres possibilités dans votre formation
Admission
Vous êtes Étudiant français
Vous êtes Étudiant de l'UE/EEE
Formation continue
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 :
Et après
Et aprè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