Your input will help us improve your experience.You can close this popup to continue using the website or choose an option below to register in or log in.
Everyone regularly experiences computer programs being inefficient or crashing. In order to avoid that, it is necessary to properly define and study what it means for a machine to compute something. This 2-years major covers some of the theoretical approaches to computer science addressing this, often based on mathematical tools, with a view towards applications. The topics of the courses include:
theory of computation: computability, logic, semantics, combinatorics;
models of computation: automata, concurrent and distributed programming, quantum programming, hybrid systems;
safety of programs: verification, static analysis;
efficiency of programs: algorithms, complexity, compilation;
security of programs: cryptography, coding.
The master is research-oriented, with a focus on foundations: it aims at introducing students to contemporary theoretical computer science and most students do a PhD after the master, although it also leads to many possible careers in industry.
This master corresponds to the Parisian Master of Research in Computer Science (MPRI), which is run jointly by the following institutions: Université Paris Cité (coordinator), Université PSL (ENS Paris), Université Paris Saclay (ENS Paris-Saclay) and Institut Polytechnique de Paris (École polytechnique, Telecom Paris). The first year takes place mostly at École polytechnique, while the second year takes place mostly at Université Paris Cité.
Programme overview
Main Subject
Computer Science and Information Systems
Degree
Other
Study Level
Masters
Study Mode
On Campus
Everyone regularly experiences computer programs being inefficient or crashing. In order to avoid that, it is necessary to properly define and study what it means for a machine to compute something. This 2-years major covers some of the theoretical approaches to computer science addressing this, often based on mathematical tools, with a view towards applications. The topics of the courses include:
theory of computation: computability, logic, semantics, combinatorics;
models of computation: automata, concurrent and distributed programming, quantum programming, hybrid systems;
safety of programs: verification, static analysis;
efficiency of programs: algorithms, complexity, compilation;
security of programs: cryptography, coding.
The master is research-oriented, with a focus on foundations: it aims at introducing students to contemporary theoretical computer science and most students do a PhD after the master, although it also leads to many possible careers in industry.
This master corresponds to the Parisian Master of Research in Computer Science (MPRI), which is run jointly by the following institutions: Université Paris Cité (coordinator), Université PSL (ENS Paris), Université Paris Saclay (ENS Paris-Saclay) and Institut Polytechnique de Paris (École polytechnique, Telecom Paris). The first year takes place mostly at École polytechnique, while the second year takes place mostly at Université Paris Cité.
Admission Requirements
Academic prerequisites
Bachelor of Science in computer science
Language prerequisites
English
2 Years
Sep
Tuition fees
Domestic
4,859 EUR
International
7,148 EUR
Scholarships
Selecting the right scholarship can be a daunting process. With countless options available, students often find themselves overwhelmed and confused. The decision can be especially stressful for those facing financial constraints or pursuing specific academic or career goals.
To help students navigate this challenging process, we recommend the following articles:
Master in Foundations of Computer Science
Institut Polytechnique de Paris, Paris, France
24 monthsProgramme duration
7,148 EURTuition Fee/year
SepStarting Month
Programme overview
Main Subject
Computer Science and Information Systems
Degree
Other
Study Level
Masters
Study Mode
On Campus
The master is research-oriented, with a focus on foundations: it aims at introducing students to contemporary theoretical computer science and most students do a PhD after the master, although it also leads to many possible careers in industry.
This master corresponds to the Parisian Master of Research in Computer Science (MPRI), which is run jointly by the following institutions: Université Paris Cité (coordinator), Université PSL (ENS Paris), Université Paris Saclay (ENS Paris-Saclay) and Institut Polytechnique de Paris (École polytechnique, Telecom Paris). The first year takes place mostly at École polytechnique, while the second year takes place mostly at Université Paris Cité.
Programme overview
Main Subject
Computer Science and Information Systems
Degree
Other
Study Level
Masters
Study Mode
On Campus
The master is research-oriented, with a focus on foundations: it aims at introducing students to contemporary theoretical computer science and most students do a PhD after the master, although it also leads to many possible careers in industry.
This master corresponds to the Parisian Master of Research in Computer Science (MPRI), which is run jointly by the following institutions: Université Paris Cité (coordinator), Université PSL (ENS Paris), Université Paris Saclay (ENS Paris-Saclay) and Institut Polytechnique de Paris (École polytechnique, Telecom Paris). The first year takes place mostly at École polytechnique, while the second year takes place mostly at Université Paris Cité.
Admission Requirements
Language prerequisites
Tuition fees
Domestic
International
Scholarships
Selecting the right scholarship can be a daunting process. With countless options available, students often find themselves overwhelmed and confused. The decision can be especially stressful for those facing financial constraints or pursuing specific academic or career goals.
To help students navigate this challenging process, we recommend the following articles:
How to get a full scholarship
Looking for a fully-funded scholarship to see you into university? Find out how to boost your chances of getting one.
Scholarships to study abroad
Find scholarships to study abroad with our lists of international scholarships – categorized by country, by subject, and by type of student.
Scholarship Applications: Frequently Asked Questions
Get answers to all your questions about scholarship applications, including tips on how to find scholarships and chances of success.
More programmes from the university
Natural Sciences (1)
Bachelor of Science
Bachelor of Science
Arts and Humanities (6)
Master in Design
Master in Design
Business and Management (6)
Master in Economics
Master in Economics
Master in Innovation, Industry and Society
Master in Innovation, Industry and Society
Master in Network, Industries and Digital Economics
Master in Network, Industries and Digital Economics
Master in Organisation, Strategy and Information Systems
Master in Organisation, Strategy and Information Systems
Master in Project, Innovation, Conception
Master in Project, Innovation, Conception
Engineering and Technology (6)
Master in Biomedical Engineering
Master in Biomedical Engineering
Master in Civil Engineering and Construction
Master in Civil Engineering and Construction
Master in Computer Science
Master in Computer Science
Master in Computer Science for Networks
Master in Computer Science for Networks
Master in Electrical Engineering
Master in Electrical Engineering
Master in Electrical Engineering for Communications & Information Processing
Master in Electrical Engineering for Communications & Information Processing
Master in Fluid Mechanics
Master in Fluid Mechanics
Master in Foundations of Computer Science
Master in Foundations of Computer Science
Master in Mechanical Engineering
Master in Mechanical Engineering
Master in Nuclear Engineering
Master in Nuclear Engineering
Master in Quantum, Mathematics, Computer Science (QMI)
Master in Quantum, Mathematics, Computer Science (QMI)
Master in Sciences and Technologies for Energy
Master in Sciences and Technologies for Energy
Master in Transport, Mobility, Networks
Master in Transport, Mobility, Networks
Master of Science in Engineering
Master of Science in Engineering
Urban Planning Program
Urban Planning Program
Life Sciences and Medicine (6)
Master in Biology and Health
Master in Biology and Health
Natural Sciences (6)
Master in Analysis, Arithmetic, Geometry
Master in Analysis, Arithmetic, Geometry
Master in Analysis, Modelling, Simulation
Master in Analysis, Modelling, Simulation
Master in Applied Mathematics and Statistics
Master in Applied Mathematics and Statistics
Master in Chemistry and Interfaces
Master in Chemistry and Interfaces
Master in Data Sciences
Master in Data Sciences
Master in Environmental, Energy, and Transportation Economics
Master in Environmental, Energy, and Transportation Economics
Master in High Energy Physics
Master in High Energy Physics
Master in International Center For Fundamental Physics
Master in International Center For Fundamental Physics
Master in Large Facilities - Plasmas Lasers Accelerators Tokamaks
Master in Large Facilities - Plasmas Lasers Accelerators Tokamaks
Master in Materials Science and Nano-Objects
Master in Materials Science and Nano-Objects
Master in Mathematical Modelling
Master in Mathematical Modelling
Master in Mathematics and Applications
Master in Mathematics and Applications
Master in Mathematics for Life Sciences
Master in Mathematics for Life Sciences
Master in Mathematics of Randomness
Master in Mathematics of Randomness
Master in Mathematics, Vision, Learning
Master in Mathematics, Vision, Learning
Master in Optimization
Master in Optimization
Master in Physics by Research
Master in Physics by Research
Master in Physics of Plasmas and Fusion
Master in Physics of Plasmas and Fusion
Master in Probability and Finance
Master in Probability and Finance
Master in Quantum Devices
Master in Quantum Devices
Master in Quantum, Light, Materials and Nano Sciences
Master in Quantum, Light, Materials and Nano Sciences
Master in Statistics, Finance and Actuarial science
Master in Statistics, Finance and Actuarial science
Physics Program
Physics Program
Social Sciences and Management (6)
Master in Quantitative Sociology and Computational Social Science
Master in Quantitative Sociology and Computational Social Science
Master in Quantitative Sociology and Demography
Master in Quantitative Sociology and Demography
Sociology Program
Sociology Program
Business and Management (4)
PhD Track in Economics
PhD Track in Economics
PhD in Economics, Management and Social Sciences
PhD in Economics, Management and Social Sciences
Engineering and Technology (4)
PhD Track Energy for Climate
PhD Track Energy for Climate
PhD Track in Computer science
PhD Track in Computer science
PhD Track in Data and Artificial Intelligence
PhD Track in Data and Artificial Intelligence
PhD Track in Electrical Engineering
PhD Track in Electrical Engineering
PhD Track in Mechanics
PhD Track in Mechanics
PhD in Computing, Data and Artificial Intelligence
PhD in Computing, Data and Artificial Intelligence
PhD in Engineering, Mechanics and Energy
PhD in Information, Communications and Electronics
Life Sciences and Medicine (4)
PhD Track Bioengineering and Quantitative Life Sciences
PhD Track Bioengineering and Quantitative Life Sciences
Natural Sciences (4)
PhD Track in Advanced Materials
PhD Track in Advanced Materials
PhD Track in Chemistry and interfaces
PhD Track in Chemistry and interfaces
PhD Track in Mathematics
PhD Track in Mathematics
PhD Track in Physics
PhD Track in Physics
PhD Track in Quantum Science & technologies (QUANTIX)
PhD Track in Quantum Science & technologies (QUANTIX)
PhD in Biology and Chemistry
PhD in Biology and Chemistry
PhD in Mathematics
PhD in Physics