Institut Polytechnique de Paris
Ecole Polytechnique ENSTA Ecole des Ponts ENSAE Télécom Paris Télécom SudParis
Share

Master Year 1 Foundations of Computer Science

Master Year 1 Foundations of Computer Science
Year

Master Year 1

Program

Foundations of Computer Science

ECTS Credits

60

Language

English

Orientation

Research

Location

Palaiseau Campus

Course duration

12 months, full time

Course start

September

Degree awarded

Master’s degree obtained on completion of a second year of Master

 

WHY ENROLL IN THIS PROGRAM?

Asset n° 1 

Benefit from intensive exposure to contemporary research in computer science

Asset n°2

Pursue PhD opportunities at Institut Polytechnique de Paris

Asset n°3

Build a successful career in academia or the R&D department of private companies

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 master program 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é de Paris (coordinator), ENS Ulm, ENS Paris-Saclay, École polytechnique, and Telecom Paris. The first year takes place mostly at École polytechnique, while the second year takes place mostly at Université de Paris.

Objectives

This two-year program allows students to:

  • Aquire fundamental knowledge in theoretical computer science
  • Be introduced to current research in computer science
  • Gain practical experience through research internships

Students who successfully complete the two-year program will be able to:

  • Pursue a PhD leading to a career in academia e.g. a teaching-research position at a university or full-time research position at a research institution
  • Build a career in their field of expertise in the private sector e.g. R&D

Core courses

Algorithmique avancée (INF550)

48h

5 ECTS

English

Computational Logic: from Artificial Intelligence to Zero Bugs (INF551)

48H

5 ECTS

English

 

Elective courses

At least two courses to choose from (except project).

Projet (INF513)

48h

5 ECTS

English

Introduction to Cryptology (INF558)

48h

5 ECTS

English

 

Distributed Computing (INF571)

48h

5 ECTS

English

Image Analysis and Computer Vision (INF573)

48h

5 ECTS

English

Digital Representations and Analysis of Shapes (INF574)

48h

5 ECTS

English

Safe Intelligent Systems (INF575)

48h

5 ECTS

English

Algorithms and advanced programming (INF576)

48h

5 ECTS

English

Elective courses

At least four courses to choose from (except from project)

Projet (INF513)

48h

5 ECTS

English

Randomization in Computer Science: Games, Networks, Epidemic and Evolutionary Algorithms (INF561)

48h

5 ECTS

English

Introduction to information theory (INF563)

48h

5 ECTS

English

Compilation (INF564)

48h

5 ECTS

English

Advanced Cryptology (INF568)

48h

5 ECTS

English

Informatique quantique et applications (INF587)

48h

5 ECTS

English

Internship

2 to 3 months

Between April and August

20 ECTS

Admission requirements

Academic prerequisites

Completion of a Bachelor of Science at Institut Polytechnique de Paris or equivalent in France or abroad

Language prerequisites

English

How to apply

Applications can be submitted exclusively online. You will need to provide the following documents:

  • Transcript
  • Two academic references (added online directly by your referees)
  • CV/resume
  • Statement of purpose

You will receive an answer in your candidate space within 2 months of the closing date for the application session.

Fees and scholarships

Registration fees are available here

Find out more about scholarships

Please note that fees and scholarships may change for the following year. 

Applications and admission dates

Coordinator

Samuel Mimram

Program office

Jackie Gardin

General enquiries

master-admission@ip-paris.fr

Description

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 master program 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é de Paris (coordinator), ENS Ulm, ENS Paris-Saclay, École polytechnique, and Telecom Paris. The first year takes place mostly at École polytechnique, while the second year takes place mostly at Université de Paris.

Objectives

This two-year program allows students to:

  • Aquire fundamental knowledge in theoretical computer science
  • Be introduced to current research in computer science
  • Gain practical experience through research internships

Students who successfully complete the two-year program will be able to:

  • Pursue a PhD leading to a career in academia e.g. a teaching-research position at a university or full-time research position at a research institution
  • Build a career in their field of expertise in the private sector e.g. R&D

Core courses

Algorithmique avancée (INF550)

48h

5 ECTS

English

Computational Logic: from Artificial Intelligence to Zero Bugs (INF551)

48H

5 ECTS

English

 

Elective courses

At least two courses to choose from (except project).

Projet (INF513)

48h

5 ECTS

English

Introduction to Cryptology (INF558)

48h

5 ECTS

English

 

Distributed Computing (INF571)

48h

5 ECTS

English

Image Analysis and Computer Vision (INF573)

48h

5 ECTS

English

Digital Representations and Analysis of Shapes (INF574)

48h

5 ECTS

English

Safe Intelligent Systems (INF575)

48h

5 ECTS

English

Algorithms and advanced programming (INF576)

48h

5 ECTS

English

Elective courses

At least four courses to choose from (except from project)

Projet (INF513)

48h

5 ECTS

English

Randomization in Computer Science: Games, Networks, Epidemic and Evolutionary Algorithms (INF561)

48h

5 ECTS

English

Introduction to information theory (INF563)

48h

5 ECTS

English

Compilation (INF564)

48h

5 ECTS

English

Advanced Cryptology (INF568)

48h

5 ECTS

English

Informatique quantique et applications (INF587)

48h

5 ECTS

English

Internship

2 to 3 months

Between April and August

20 ECTS

Admission requirements

Academic prerequisites

Completion of a Bachelor of Science at Institut Polytechnique de Paris or equivalent in France or abroad

Language prerequisites

English

How to apply

Applications can be submitted exclusively online. You will need to provide the following documents:

  • Transcript
  • Two academic references (added online directly by your referees)
  • CV/resume
  • Statement of purpose

You will receive an answer in your candidate space within 2 months of the closing date for the application session.

Fees and scholarships

Registration fees are available here

Find out more about scholarships

Please note that fees and scholarships may change for the following year. 

Applications and admission dates

Coordinator

Samuel Mimram

Program office

Jackie Gardin

General enquiries

master-admission@ip-paris.fr