Computer
Science
Department

I.T. forms part of every area of professional activity in which former Polytechnique students are involved: from company management to carrying out research projects and developing industrial products, they will have to use I.T. tools and design new ones.

The third and fourth year courses in the École Polytechnique I.T. department - Master's level - aim to help students acquire the knowledge they need to understand the technological changes taking place in the vast area of Information and Communication Science and Technology that forms the environment in which engineers, civil servants and researchers work today.

The third year is organised into four themed programs that cover most of the key areas of modern I.T. The aim of this year is help students acquire the basics of the discipline and to begin a specialisation that will continue into the fourth year.

1. Advanced Program  "I.T."
2. Advanced Program  "Comasic"
3. Advanced Program "Electrical Engineering" (PHY and INF)
4. Advanced Program  "BioInformatics" (BIO and INF)

Catalogue	Teaching material	Course leader
INF550	Designing and analysing algorithms	Gilles Schaeffer
INF551	Logic and calculability	Gilles Dowek
INF552	Vision and reality	Renaud Keriven
INF553	Databases	Michalis Vazirgiannis
INF554	Introduction to programming language theory	David Monniaux
INF555	Basics of 3D	Frank Nielsen
INF556	I.T. modelling for engineers	Daniel Krob, Leo Liberti
INF557	An introduction to networks	Thomas Clausen
INF558	Information theory	Jean-Pierre Tillich
INF559	Computer architecture	Olivier Témam
INF560	Parallel and distributed I.T.	Eric Goubault
INF561	Algorithms and complexity	Olivier Bournez
INF562	Algorithmic geometry	Luca Castelli, Steve Oudot
INF563	Static program analysis	Laurent Mauborgne
INF564	Compilation	François Pottier
INF565	Proof systems	Benjamin Werner
INF566	Proof systems	Walid Dabbous
INF567	Mobile and Wi-Fi networks	Philippe Jacquet
INF568	Cryptology	François Morain, Andrea Enge
INF569	information system theory and practice	Yves Caseau
INF570	Operating system principles and programming	Albert Cohen
INF571	Internet and automatic translation	Jean Senellart
INF572	Operational research	Leo Liberti
INF580	Constraint and combinatorial problem programming	Philippe Baptiste
INF581	Quantum information	Frédéric Magniez
INF582	Data mining	Jean-Marc Steyaert
INF584	Computer images: theory and practice	Xavier Décoret
INF585	C++	Leo Liberti
INF591	I.T. research internship	Olivier Bournez, Benjamin Werner, Frank Nielsen