Réunion concours MP, MPI et I Département Informatique ENS Cachan

Transcription

1 Réunion concours MP, MPI et I Département Informatique ENS Cachan Paul Gastin Paul.Gastin@lsv.ens-cachan.fr 1/20

2 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 ) : MdC et chargés de recherche 52 69% Recherche et développement 17 22% Enseignement Sup. (hors MdC) 7 9% 2/20

3 Emplois définitifs : Devenir des élèves Année de sortie Thèse ? Chargé de recherche 20 Maître de conférences 32 PRAG Ing. rech. Public 6 Ing. rech. Privé 11 Prof. prépa 5 Postdocs 3 Devenir inconnu 7 MdC et chargés de recherche 52 69% Recherche et développement 17 22% Enseignement Sup. (hors MdC) 7 9% 3/20

4 L informatique : une science? Utilisateur Conducteur Développeur de logiciels Constructeur de voitures Concepteurs : algorithmes, langages de programmation,... Fondements: Calculabilité et Complexité Concepteurs : ABS, direction assistée, pneus,... Fondements: l énergie, les matériaux,... 4/20

5 Des questions fondamentales Calculabilité : Cerner les limites des machines... Peut-on résoudre tous les problèmes avec un ordinateur? Peut-on calculer toutes les fonctions avec un ordinateur? Pourra-t-on inventer un jour une machine qui pourra résoudre plus de problèmes que nos ordinateurs?... Complexité :... et des temps de calculs Combien de temps faut-il pour résoudre un problème? Trouvera-t-on un jour des algorithmes radicalement plus efficaces? Est-ce que facile à vérifier équivaut à facile à résoudre?... 5/20

6 Ethernity 16 = Peut-on résoudre automatiquement ce puzzle? Codage : GOBG BOGG BGGB OGGO VVRV VRRR... 6/20

7 Ethernity 16 = Peut-on résoudre automatiquement ce puzzle? Codage : GOBG BOGG BGGB OGGO VVRV VRRR... 6/20

8 Ethernity II Peut-on résoudre automatiquement tous les puzzles de type Ethernity? Et si on corsait un peu le problème? 36 = = = Un puzzle à 2 millions de dollars 7/20

9 Vérifier des programmes Un problème des plus importants! Codage : le texte source du programme. Commençons simple : 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? Ma centrale risque-t-elle d exploser? // Y a-t-il un risque de division par 0 z <- x / y 8/20

10 Diagonalisation D Duplication D Programme et Donnée (P,x) (D,D) Arrêt? Arrêt? Oui Non Stop Il n y a pas de programme pour tester l arrêt! 9/20

11 Réduction Programme et Variable (P,x) Stop P Réduction P Réduction (P,x) Division par x = 0? P Division par x = 0? Oui Non x <- 0 y <- 1 / x P Oui Non P s arrête si et seulement si P divise par x = 0 10/20

12 La formation en Informatique Formation de chercheurs et d enseignants-chercheurs en informatique. Année 1: licence renforcée. 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: Un master en informatique En majorité : Master Parisien de Recherche en Informatique. 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) Année 4 : Année de recherche à l étranger (ARPE) ou agrégation. Autre possibilité Année 3 : ARPE ou agrégation Année 4 : M2 Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 11/20

13 Informatique et/ou Mathématiques? Première année: Concours Info Dpt. Info, Concours MP Dpt. maths. Mineure dans l autre discipline encouragée 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 : progression au classement entre l écrit et l oral Prof en prépa avec l option info L agrégation n est pas nécessaire pour une carrière de chercheur ou enseignant-chercheur en informatique. Changement de département possible en cours de scolarité. 12/20

14 L3 2014/2015 1er semestre Les cours commencent le 15 septembre. 13/20

15 Programme de rentrée Entretiens individuels - Vendredi 5 septembre Journée portes ouvertes - Vendredi 5 septembre Soutenances de stages Conférences scientifiques (informatique) Conférences Maths-Info - Mardi 9 septembre Mathématiques : Emmanuel Trélat, Contrôle, optimisation, systèmes dynamiques, simulation numérique Informatique : Sylvie Boldo, Les nombres et l ordinateur Rentrée pédagogique L3 Info - Mercredi 10 septembre à 9h 14/20

16 Planning deuxième semaine 15/20

17 Journée portes ouvertes Vendredi 5 septembre 16/20

18 Entretiens individuels 5 septembre 17/20

19 Pour les non normaliens Le second concours en informatique Statut de normalien pour 2 ans d études à l ENS. Pour les étudiants en L3 : intégration en 2ème année d ENS Pour les étudiants en M1 : intégration en 3ème année d ENS Les bourses MPRI-INRIA-Cachan Bourses au mérite réservées aux meilleurs étudiants. Pour le M1 et/ou le M2 du MPRI. Pour les étudiants non normaliens français ou étrangers euros nets par mois pour une durée de 6 à 12 mois. 18/20

20 Le département d Informatique 4 Professeurs 6 Maîtres de conférences 7 Moniteurs Secrétaire : Catherine Forestier Ingénieur : Francis Hulin-Hubard 19/20

21 Le Laboratoire d Informatique Laboratoire Spécification et Vérification (LSV) 25 Chercheurs ou enseignants-chercheurs 19 Doctorants 9 membres associés 5 axes de recherche : 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 20/20