R eunion concours MP, MPI et I D epartement Informatique ENS Cachan
←
→
Transcription du contenu de la page
Si votre navigateur ne rend pas la page correctement, lisez s'il vous plaît le contenu de la page ci-dessous
Réunion concours MP, MPI et I
Département Informatique
ENS Cachan
Paul Gastin
Paul.Gastin@lsv.ens-cachan.fr
http://www.dptinfo.ens-cachan.fr/
1/20
L’ENS pour quoi faire ?
La recherche en Informatique
Objectif: faire de ce qui vous amuse votre métier.
Emplois définitifs (élèves sortis en 1997 – 2007) :
MdC et chargés de recherche 52 69%
Recherche et développement 17 22%
Enseignement Sup. (hors MdC) 7 9%
2/20
Devenir des élèves
Année de sortie Thèse
2014 11 8?
2013 14 13
2012 12 11
2011 15 13
2010 12 11
2009 14 13
2008 12 12
Chargé de recherche 20
Maı̂tre de conférences 32
PRAG 2
Ing. rech. Public 6
1997–2007 86
Ing. rech. Privé 11
Prof. prépa 5
Postdocs 3
Devenir inconnu 7
MdC et chargés de recherche 52 69%
Emplois définitifs : Recherche et développement 17 22%
Enseignement Sup. (hors MdC) 7 9%
3/20
L’informatique : une science ?
I Utilisateur I Conducteur
I Développeur de logiciels I Constructeur de voitures
I Concepteurs : algorithmes, langages I Concepteurs : ABS, direction
de programmation, . . . assistée, pneus, . . .
I Fondements: Calculabilité et I Fondements: l’énergie, les
Complexité matériaux, . . .
4/20
Des questions fondamentales
Calculabilité : Cerner les limites des machines . . .
I Peut-on résoudre tous les problèmes avec un ordinateur ?
I Peut-on calculer toutes les fonctions avec un ordinateur ?
I Pourra-t-on inventer un jour une machine qui pourra résoudre plus de
problèmes que nos ordinateurs ?
I ...
Complexité : . . . et des temps de calculs
I Combien de temps faut-il pour résoudre un problème ?
I Trouvera-t-on un jour des algorithmes radicalement plus efficaces ?
I Est-ce que facile à vérifier équivaut à facile à résoudre ?
I ...
5/20
Ethernity 16 = 4 × 4
http://fr.eternityii.com/
Peut-on résoudre automatiquement ce puzzle ?
Codage : GOBG BOGG BGGB OGGO
VVRV VRRR . . .
6/20
Ethernity 16 = 4 × 4
http://fr.eternityii.com/
Peut-on résoudre automatiquement ce puzzle ?
Codage : GOBG BOGG BGGB OGGO
VVRV VRRR . . .
6/20
Ethernity II
http://fr.eternityii.com/
Peut-on résoudre automatiquement tous
les puzzles de type Ethernity ?
Et si on corsait un peu le problème ?
I 36 = 6 × 6
I 72 = 6 × 12
I 256 = 16 × 16
Un puzzle à 2 millions de dollars
7/20Vérifier des programmes
Un problème des plus importants !
Codage : le texte source du programme.
Commençons simple :
I Mon programme va-t-il s’arrêter ?
Sur toutes les données ?
Sur au moins une donnée ?
Sur cette donnée particulière ?
I Ma centrale risque-t-elle d’exploser ?
···
// Y a-t-il un risque de division par 0
zDiagonalisation
D
Duplication D
Programme et Donnée
(D, D)
(P, x)
Arrêt ?
Arrêt ?
Stop
Oui Non
Il n’y a pas de programme pour tester l’arrêt !
9/20Réduction
P P
Stop
Réduction
Programme et Variable
Réduction
(P, x) (P ′ , x)
P
Division par x = 0 ? Division par x = 0 ?
xLa formation en Informatique
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).
I Années 2 et 3: Un master en informatique
En majorité : Master Parisien de Recherche en Informatique.
https://wikimpri.dptinfo.ens-cachan.fr/
commun avec l’ENS Paris, École Polytechnique et Paris 7
Cours au premier semestre
Stages de recherche au second semestre (M2 4,5 mois, M1 5 mois à l’étranger)
I Année 4 : Année de recherche à l’étranger (ARPE) ou agrégation.
I Autre possibilité
Année 3 : ARPE ou agrégation
Année 4 : M2
I Formation à la recherche : stages, visites de laboratoires
I Conférences de rentrée
http://www.dptinfo.ens-cachan.fr/rentree2014.php
11/20Informatique et/ou Mathématiques ?
I Première année: Concours Info → Dpt. Info, Concours MP → Dpt. maths.
I Mineure dans l’autre discipline encouragée
I Double cursus Info-Maths, en particulier pour ceux qui souhaitent préparer
l’agrégation de mathématiques, option informatique.
L’option informatique est payante :
I progression au classement entre l’écrit et l’oral
I 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é.
12/20L3 2014/2015 – 1er semestre
Les cours commencent le 15 septembre.
http://www.dptinfo.ens-cachan.fr/L3/
13/20Programme de rentrée
http://www.dptinfo.ens-cachan.fr/rentree2014.php
I Entretiens individuels - Vendredi 5 septembre
I Journée portes ouvertes - Vendredi 5 septembre
I Soutenances de stages
I Conférences scientifiques (informatique)
I Conférences Maths-Info - Mardi 9 septembre
I Mathématiques : Emmanuel Trélat,
https://www.ljll.math.upmc.fr/~trelat/
Contrôle, optimisation, systèmes dynamiques, simulation numérique
I Informatique : Sylvie Boldo,
https://www.lri.fr/~sboldo/
Les nombres et l’ordinateur
I Rentrée pédagogique L3 Info - Mercredi 10 septembre à 9h
14/20Planning deuxième semaine
15/20Journée portes ouvertes
Vendredi 5 septembre
16/20Entretiens individuels – 5 septembre
17/20Pour les non normaliens
Le second concours en informatique
I Statut de normalien pour 2 ans d’études à l’ENS.
I Pour les étudiants en L3 : intégration en 2ème année d’ENS
I Pour les étudiants en M1 : intégration en 3ème année d’ENS
I http://www.dptinfo.ens-cachan.fr/concours/
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.
18/20Le département d’Informatique
I 4 Professeurs
I 6 Maı̂tres de conférences
I 7 Moniteurs
I Secrétaire : Catherine Forestier
I Ingénieur : Francis Hulin-Hubard
http://www.dptinfo.ens-cachan.fr/
19/20Le Laboratoire d’Informatique
Laboratoire Spécification et Vérification (LSV)
http://www.lsv.ens-cachan.fr/
I 25 Chercheurs ou enseignants-chercheurs
I 19 Doctorants
I 9 membres associés
I 5 axes de recherche :
I DAHU : spécification et vérification des grandes bases de données distribuées.
I INFINI : vérification automatique des systèmes infinis
I MEXICO : vérification des systèmes distribués et concurrents.
I SECSI : sécurité des systèmes d’information
I TEMPO : vérification des systèmes temps-réel
20/20Vous pouvez aussi lire
