Concours Informatique - Département informatique de l`ENS Cachan

Concours Informatique
Paul Gastin
Dpt Info, ENS Cachan
[email protected]
http://www.dptinfo.ens-cachan.fr/
1/19
L’ENS pour quoi faire ?
I
Objectif: faire de ce qui vous amuse votre métier.
http://www.dptinfo.ens-cachan.fr/Archives/Devenir/devenir-eleves.php
I
La recherche en informatique : qu’est-ce que c’est ?
Ce n’est pas ce que croient la plupart des gens.
2/19
Quelques petits problèmes
I
n boı̂tes contiennent chacune une boule noire ou blanche.
On peut uniquement poser des questions du type :
Est-ce que les boı̂tes i et j contiennent des boules de la même couleur ?
On doit déterminer une boı̂te qui contient une boule dont la couleur est
majoritaire.
Combien de questions faut-il poser (au minimum) ?
Exemple: n = 3
I
Combien de temps faut-il pour déterminer si on peut colorier un graphe de n
sommets avec k couleurs de telle sorte que 2 sommets adjacents ne soient pas
coloriés avec la même couleur ?
I
Peut-on trier n éléments en moins de O(n log n) comparaisons ?
Complexité
3/19
Quelques petits problèmes
I
n boı̂tes contiennent chacune une boule noire ou blanche.
On peut uniquement poser des questions du type :
Est-ce que les boı̂tes i et j contiennent des boules de la même couleur ?
On doit déterminer une boı̂te qui contient une boule dont la couleur est
majoritaire.
Combien de questions faut-il poser (au minimum) ?
Exemple: n = 3
I
Combien de temps faut-il pour déterminer si on peut colorier un graphe de n
sommets avec k couleurs de telle sorte que 2 sommets adjacents ne soient pas
coloriés avec la même couleur ?
I
Peut-on trier n éléments en moins de O(n log n) comparaisons ?
Complexité
3/19
Quelques petits problèmes
I
n boı̂tes contiennent chacune une boule noire ou blanche.
On peut uniquement poser des questions du type :
Est-ce que les boı̂tes i et j contiennent des boules de la même couleur ?
On doit déterminer une boı̂te qui contient une boule dont la couleur est
majoritaire.
Combien de questions faut-il poser (au minimum) ?
Exemple: n = 3
I
Combien de temps faut-il pour déterminer si on peut colorier un graphe de n
sommets avec k couleurs de telle sorte que 2 sommets adjacents ne soient pas
coloriés avec la même couleur ?
I
Peut-on trier n éléments en moins de O(n log n) comparaisons ?
Complexité
3/19
Quelques petits problèmes
Le Problème de correspondance de Post.
Donnée: n et deux suites u1 , . . . , un et v1 , . . . , vn de n mots sur
l’alphabet {a, b}.
Question: existe-t-il un entier k et une suite d’ indices i1 , . . . , ik
tels que
ui1 · · · uik = vi1 · · · vik
Exemple :
i
ui
vi
1 2 3
a b ca
ab ca a
4
abc
c
12314 est une solution:
a · b · ca · a · abc = ab · ca · a · ab · c
Calculabilité
4/19
Quelques petits problèmes
Le Problème de correspondance de Post.
Donnée: n et deux suites u1 , . . . , un et v1 , . . . , vn de n mots sur
l’alphabet {a, b}.
Question: existe-t-il un entier k et une suite d’ indices i1 , . . . , ik
tels que
ui1 · · · uik = vi1 · · · vik
Exemple :
i
ui
vi
1 2 3
a b ca
ab ca a
4
abc
c
12314 est une solution:
a · b · ca · a · abc = ab · ca · a · ab · c
Calculabilité
4/19
Quelques petits problèmes
Concevoir un circuit ayant 3 entrées et 3 sorties, un nombre arbitraire de portes
ET, OU et seulement 2 portes NON et réalisant la fonction
(p, q, r) → (¬p, ¬q, ¬r)
5/19
La recherche (publique) en informatique
Organisme
Lieu d’exercice
Conditions pour concourir
CNRS CR2
INRIA CR2
MdC
Chaire
laboratoire associé
équipe INRIA
université (ou GE)
Univ. & Organisme
thèse (+ postdoc)
thèse (+ postdoc)
thèse + qualification
thèse + qualif. + postdoc
Nb. Postes
2008 2009
24
23
31
17
115
121
0
∼ 12
Autres organismes: CEA, EDF, ...
Grands centres industriels de recherche: France Telecom, Microsoft,
ST-Microelectronics, Nortel Networks, Alcatel, Schlumberger, . . .
6/19
L’informatique en plein essor
Effectifs MCF
Informatique (27)
Maths (25 & 26)
Total ttes disciplines
1/2003
1905 (5.5%)
2299 (6.6%)
34743
1/2005
2158 (6.3%)
2121 (6.2%)
34070
1/2007
2329 (6.6%)
2154 (6.1%)
35336
1/2009
2357 (6.6%)
2076 (5.8%)
35847
Recrutements
Nb. Postes ttes disc.
2002
2337
2003
2128
2004
2329
2005
1924
2006
2076
2007
2284
2008
2038
2009
1919
Postes Info. (27)
193
8.3%
157
7.4%
160
6.9%
135
7.1%
404
154
7.4%
435
133
5.8%
469
115
5.6%
478
121
6.3%
466
45
1.9%
50
2.3%
49
2.1%
50
2.6%
223
51
2.5%
217
56
2.5%
207
38
1.9%
220
56
2.9%
249
51
2.2%
65
3.1%
52
2.2%
46
2.4%
278
80
3.9%
284
81
3.5%
252
73
3.6%
247
77
4.0%
256
qualifiés
Postes Maths (25)
qualifiés
Maths appli. (26)
qualifiés
Source: http://www.enseignementsup- recherche.gouv.fr/cid22708/bilans- et-statistiques.html
7/19
Devenir des élèves
Elèves sortis de l’école depuis 97 et ayant effectué leur 4ème année au département
informatique de l’ENS Cachan (site Cachan).
www.dptinfo.ens-cachan.fr/Archives/Devenir/devenir-eleves.php.
2009
14
Thèse
13
2008
12
Thèse
12
2007
11
Thèse
11
Thèse
25
2004–2006 27
Situation inconnue 2
Chargé de recherche 12
Année de sortie :
Maı̂tre de conférence 20
PRAG
1
Ing. rech. Public
2
≤ 2003
51
Ing. rech. Privé
5
Prof. prépa
3
Postdocs
6
Devenir inconnu
2
Emplois définitifs :
MdC et chargés de recherche
Recherche et développement
Enseignement Sup. (hors MdC)
32
7
4
75%
16%
9%
8/19
Le département d’Informatique
I
4 Professeurs
I
5 Maı̂tres de conférences
I
8 Moniteurs
I
Secrétaire : Catherine Forestier
I
Ingénieur : Audrey Herbinière-Halbert
http://www.dptinfo.ens-cachan.fr/
9/19
Le Laboratoire d’Informatique
Laboratoire Spécification et Vérification (LSV)
http://www.lsv.ens-cachan.fr/
I
24 Chercheurs ou enseignants-chercheurs
I
21 Doctorants
I
10 membres associés
5 axes de recherche :
I
I
I
I
I
I
DAHU : spécification et vérification des grandes bases de données distribuées.
INFINI : vérification automatique des systèmes infinis
MEXICO : vérification des systèmes distribués et concurrents.
SECSI : sécurité des systèmes d’information
TEMPO : vérification des systèmes temps-réel
10/19
Les bourses MPRI-INRIA-Cachan
I
Bourses au mérite réservées aux meilleurs étudiants.
I
Pour le M1 et/ou le M2 du MPRI.
I
Pour les étudiants non normaliens français ou étrangers.
I
1000 euros nets par mois pour une durée de 6 à 12 mois.
11/19
Le diplôme Informatique de l’ENS Cachan
Formation de chercheurs et d’enseignants-chercheurs en informatique.
I
Année 1: licence renforcée.
http://www.dptinfo.ens-cachan.fr/L3/
Tous les cours à Cachan ou à l’ENS Paris
stage de recherche 6 à 8 semaines en province ou à l’étranger (juin-juillet).
Années 2 et 3: Master Parisien de Recherche en Informatique.
http://mpri.master.univ-paris7.fr
commun avec l’ENS Paris, École Polytechnique et Paris 7
Cours au premier semestre
Stages de recherche 5 mois de mars-juillet (à l’étranger en M1)
I
Dernière année d’école: début de thèse.
I
Parcours individualisés
I
Formation à la recherche : stages, visites de laboratoires
I
Conférences de rentrée
http://www.dptinfo.ens-cachan.fr/rentree2009.php
I
12/19
Le diplôme Informatique de l’ENS Cachan
Formation de chercheurs et d’enseignants-chercheurs en informatique.
I
Année 1: licence renforcée.
http://www.dptinfo.ens-cachan.fr/L3/
Tous les cours à Cachan ou à l’ENS Paris
stage de recherche 6 à 8 semaines en province ou à l’étranger (juin-juillet).
Années 2 et 3: Master Parisien de Recherche en Informatique.
http://mpri.master.univ-paris7.fr
commun avec l’ENS Paris, École Polytechnique et Paris 7
Cours au premier semestre
Stages de recherche 5 mois de mars-juillet (à l’étranger en M1)
I
Dernière année d’école: début de thèse.
I
Parcours individualisés
I
Formation à la recherche : stages, visites de laboratoires
I
Conférences de rentrée
http://www.dptinfo.ens-cachan.fr/rentree2009.php
I
12/19
Le diplôme Informatique de l’ENS Cachan
Formation de chercheurs et d’enseignants-chercheurs en informatique.
I
Année 1: licence renforcée.
http://www.dptinfo.ens-cachan.fr/L3/
Tous les cours à Cachan ou à l’ENS Paris
stage de recherche 6 à 8 semaines en province ou à l’étranger (juin-juillet).
Années 2 et 3: Master Parisien de Recherche en Informatique.
http://mpri.master.univ-paris7.fr
commun avec l’ENS Paris, École Polytechnique et Paris 7
Cours au premier semestre
Stages de recherche 5 mois de mars-juillet (à l’étranger en M1)
I
Dernière année d’école: début de thèse.
I
Parcours individualisés
I
Formation à la recherche : stages, visites de laboratoires
I
Conférences de rentrée
http://www.dptinfo.ens-cachan.fr/rentree2009.php
I
12/19
Le diplôme Informatique de l’ENS Cachan
Formation de chercheurs et d’enseignants-chercheurs en informatique.
I
Année 1: licence renforcée.
http://www.dptinfo.ens-cachan.fr/L3/
Tous les cours à Cachan ou à l’ENS Paris
stage de recherche 6 à 8 semaines en province ou à l’étranger (juin-juillet).
Années 2 et 3: Master Parisien de Recherche en Informatique.
http://mpri.master.univ-paris7.fr
commun avec l’ENS Paris, École Polytechnique et Paris 7
Cours au premier semestre
Stages de recherche 5 mois de mars-juillet (à l’étranger en M1)
I
Dernière année d’école: début de thèse.
I
Parcours individualisés
I
Formation à la recherche : stages, visites de laboratoires
I
Conférences de rentrée
http://www.dptinfo.ens-cachan.fr/rentree2009.php
I
12/19
Le diplôme Informatique de l’ENS Cachan
Formation de chercheurs et d’enseignants-chercheurs en informatique.
I
Année 1: licence renforcée.
http://www.dptinfo.ens-cachan.fr/L3/
Tous les cours à Cachan ou à l’ENS Paris
stage de recherche 6 à 8 semaines en province ou à l’étranger (juin-juillet).
Années 2 et 3: Master Parisien de Recherche en Informatique.
http://mpri.master.univ-paris7.fr
commun avec l’ENS Paris, École Polytechnique et Paris 7
Cours au premier semestre
Stages de recherche 5 mois de mars-juillet (à l’étranger en M1)
I
Dernière année d’école: début de thèse.
I
Parcours individualisés
I
Formation à la recherche : stages, visites de laboratoires
I
Conférences de rentrée
http://www.dptinfo.ens-cachan.fr/rentree2009.php
I
12/19
Mathématiques et/ou informatique ?
I
Première année: Concours MP → Dpt. maths, Concours Info → Dpt. Info
I
Mineure de l’autre discipline encouragée
I
Cursus Maths-Info, en particulier pour ceux qui souhaitent préparer
l’agrégation de mathématiques, option informatique.
L’option informatique est payante :
I
I
progression au classement entre l’écrit et l’oral
Prof en prépa avec l’option info
I
L’agrégation n’est pas nécessaire pour une carrière de chercheur ou
enseignant-chercheur en informatique.
I
Changement de département possible en cours de scolarité.
13/19
Mathématiques et/ou informatique ?
I
Première année: Concours MP → Dpt. maths, Concours Info → Dpt. Info
I
Mineure de l’autre discipline encouragée
I
Cursus Maths-Info, en particulier pour ceux qui souhaitent préparer
l’agrégation de mathématiques, option informatique.
L’option informatique est payante :
I
I
progression au classement entre l’écrit et l’oral
Prof en prépa avec l’option info
I
L’agrégation n’est pas nécessaire pour une carrière de chercheur ou
enseignant-chercheur en informatique.
I
Changement de département possible en cours de scolarité.
13/19
Mathématiques et/ou informatique ?
I
Première année: Concours MP → Dpt. maths, Concours Info → Dpt. Info
I
Mineure de l’autre discipline encouragée
I
Cursus Maths-Info, en particulier pour ceux qui souhaitent préparer
l’agrégation de mathématiques, option informatique.
L’option informatique est payante :
I
I
progression au classement entre l’écrit et l’oral
Prof en prépa avec l’option info
I
L’agrégation n’est pas nécessaire pour une carrière de chercheur ou
enseignant-chercheur en informatique.
I
Changement de département possible en cours de scolarité.
13/19
EDT Emploi
L3 1er
semestre
du temps
- A1
Premier semestre 2009/2010.
Les cours commencent le 14 septembre, sauf l'anglais qui commence le 22 septembre.
Lundi
9h-13h
Programmation
C 315
J. Goubault
D. Kesner
14h-16h
Systèmes et
réseaux
C 311 ou C 411
S. Schwoon
R. Treinen
P. Chambart ?
13h30-15h30
Intégration /
Proba
C 321
A. Trouvé
S. Corlay
Mardi
Mercredi
10h-12h30
Anglais
salles C2XX (à
préciser)
9h-12h
Calculabilitélogique
C 205
H. Comon-Lundh
???
13h30-15h30
13h-16h
Calculabilité-logique Calcul différentiel
C 315
C 315
F. Pascal
H. Comon-Lundh
FDV
???
V. Beck
15h30-18h30
TP Programmation
C 411
S. Ciobaca ?
P. Chambart ?
Jeudi
9h-12h
TP Système et
9h-12h
réseaux
Intégration /
C 205 ou C 411
Proba
S. Schwoon
C 311
R. Treinen
A. Trouvé
P. Chambart ?
13h30-16h30
Algorithmique
C 315
M. Habib
Th. Place ?
16h15-18h15
Algorithmique
C 205
P. Gastin
M. Habib
Vendredi
9h00-13h00
Algebre
C 315
V. Beck
P. Le Meur
14h-17h
Probabilités
discrètes
C 205 puis C 321
N. Vayatis
Codes couleurs:
Sur fond jaune, cours obligatoire parcours Info et Maths-info
Sur fond vert, cours obligatoire parcrous Info
Sur fond bleu, cours obligatoire parcours maths-info
http://www.dptinfo.ens-cachan.fr/L3/edts1-09.php
file:///Users/gastin/Documents/Administration/Cachan/Slides/edt-L3-S1-09.html
14/19
Programme de rentrée
http://www.dptinfo.ens-cachan.fr/rentree2009.php
I
Entretiens individuels,
I
Journée portes ouvertes
I
Rentrée pédagogique L3 Maths-Info
I
Soutenances de stages
I
Conférences scientifiques (informatique)
Conférences Maths-Info
I
I
I
Éric Cancés, http://cermics.enpc.fr/~cances/home.html
Les mathématiques de la simulation moléculaire
Véronique Bruyère, http://staff.umh.ac.be/Bruyere.Veronique/
Logiques et automates sur les nombres réels et entiers, avec applications en
vérification assistée par ordinateur
15/19
EDT Semaine
Certains évènements
sont communs 1
avec les anciens: certaines
mardi, 1 septembre
http://www.dptinfo.ens-cachan.fr/rentree2009.php
Événements après le 1/7. Rechercher des événements avant cette
mardi, 1 septembre
14:00
Réunion rentrée 1ère année
mercredi, 2 septembre
09:00
Réunion concours MP
14:00
Réunion concours info, Cournot C315
jeudi, 3 septembre
09:00
Entretiens individuels
09:00
Journées portes ouvertes
vendredi, 4 septembre
10:00
Conférence Sciences Pratiques
14:00
Soutenances
lundi, 7 septembre
09:00
Choix de départemement MP, Info, Amphi M. Curie
10:00
16/19
Rentrée pédagogique L3 maths et info, Cournot C103
EDT Semaine 2
Les nouveaux entrants ont un programme spécifique.
Certains évènements sont communs avec les anciens: certaines conférences et certaines soutenances de sta
lundi, 7 septembre
lundi, 7 septembre
09:00
Choix de départemement MP, Info, Amphi M. Curie
14:00
Rentrée pédagogique L3 maths et info, Bât d'Alembert, Salle Condorcet
mardi, 8 septembre
09:30
Conférence L3 Math Info 1-- Éric Cancés -- Les mathématiques de la simulation moléculaire
11:15
Conférence L3 Math Info 2 -- Véronique Bruyère -- Logiques et automates sur les nombres réels et enti
mercredi, 9 septembre
09:30
W. Mackay -- TBA
12:30
Pot de rentrée du dpt info
16:00
Soutenances
jeudi, 10 septembre
10:00
Soutenances
vendredi, 11 septembre
10:00
Soutenances
14:00
Frédéric Desprez -- Grilles de Calcul
vendredi, 18 septembre
14:00
WEI
Événements jusqu'au 31/3. Rechercher des événements après cette date
17/19
Journée portes ouvertes le 3 septembre
Avenue du Président Wilson
Pavillon des jardins
Bâtiment gris
Entrée ENS
La porterie
LSV
Stade
Bâtiment d’Alembert
18/19
Entretiens individuels - Jeudi 3 septembre
09h00
09h20
09h40
10h00
10h20
10h40
11h00
11h20
11h40
14h00
14h20
14h40
15h00
15h20
15h40
16h00
16h20
16h40
17h00
Astolfi
Baschenis
Bonaque
Cantat-Moltrecht
Cauderlier
Courtois
Kallas
Lagoutte
Madelaine
Mifsud
Moisy-Mabille
Montoya
Cheval
Contal
Gleize
Rauzy
Rolin
Geoffroy
Rébolini
Charles-Pierre
Félix
Raphaël
Tigrane
Raphaël
Jean-Baptiste
Jakub
Aurélie
Guillaume
Clément
Kévin
David
Rémi
Émile
Martin
Pablo
Pierre
Yoann
Élisa
19/19