Algorithms and Foundations of Programming languages
The track “Algorithmique et Fondements de la Programmation (AFP)” of the Master Computer Sciences of University Paris Saclay is a component of the research-oriented master programme in computer science run jointly by the following institutions: University Paris Diderot, l'Ecole normale supérieure de la rue d'Ulm, Paris, (ENS Ulm), and University Paris Saclay (which includes l'Ecole normale supérieure de Cachan (ENS Cachan), l'Ecole Polytechnique, and Telecom Paris Tech). Its purpose is to train future scientists through intensive exposure to contemporary research in computer science. The aim of the programme is to offer students both core training in the fundamentals of computer science and more specialised training constitutive of a true introduction to research. One or two research internships complete this classical training curriculum.
In view of the great variety of cultural and educational backgrounds of the students, students select their own customised two-year curriculum, i.e. not only the courses they wish to follow, but also the number and type of internships.The second year (M2 year) begins with a first semester dedicated to specialisation by way of level 2 advanced courses. The second semester is devoted to a research internship within a laboratory, either in France or abroad.
The specialisations available include:
· Automata and Formal Languages
· Automated Deduction
· Combinatorics and Computer algebra
· Computability and Complexity
· Cryptography, Coding, and Security
· Logics and Semantics of Programs
· System Programming, Analysis, and Verification
PhD in Computer Sciences for academic and research career, international and national public administrations, companies.
Year 1 – Track Jacques Herbrand
Prerequisite : the “Jacques Herbrand” track is an elite program. Candidates for the full 2-year Masters program should hold, at least, a Bachelors degree in computer science, electrical engineering, or applied mathematics, and have an outstanding academic record.
Language : French and English
Location : Palaiseau Cachan
Prerequisite: direct admission in 2nd year is open to high level Graduate students (1st year validated) in a comparable program in Computer Sciences See details
Language: French and English
Validation rules : The Master Diploma is delivered upon validation of 120 ECTS (60 ECTS in 1st year and 60 ECTS in 2nd year)
Costs : Click here for more informations
Paris-Saclay Scholarships for international Master students arriving in France (10k€) more details