Concours Informatique

Transcription

1 Concours Informatique Paul Gastin Dpt Info, ENS Cachan 1/24

2 L ENS pour quoi faire? Objectif: faire de ce qui vous amuse votre métier. La recherche en informatique : qu est-ce que c est? Ce n est pas ce que croient la plupart des gens. 2/24

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

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

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

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

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

8 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? Quels traitements des informations? 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?... 4/24

9 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? Quels traitements des informations? 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?... 4/24

10 Exemple : Sudoku Peut-on résoudre automatiquement les problèmes de Sudoku? Codage :? 2? 6? 8??? 3 7?... 5/24

11 Exemple : Sudoku Peut-on résoudre automatiquement les problèmes de Sudoku? Codage :? 2? 6? 8??? 3 7?... 5/24

12 Exemple : Sudoku Peut-on résoudre automatiquement les problèmes de Sudoku? Codage :? 2? 6? 8??? 3 7?... 5/24

13 Exemple : Sudoku Peut-on résoudre automatiquement les problèmes de Sudoku? Codage :? 2? 6? 8??? 3 7?... 5/24

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

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

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

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

18 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/24

19 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/24

20 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/24

21 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/24

22 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/24

23 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/24

24 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/24

25 Problème de Correspondance de Post Peut-on résoudre le PCP automatiquement? Codage : (0101,0) (000,10) (01,0001) (0,000) 8/24

26 Problème de Correspondance de Post Peut-on résoudre le PCP automatiquement? Codage : (0101,0) (000,10) (01,0001) (0,000) 8/24

27 Problème de Correspondance de Post Peut-on résoudre le PCP automatiquement? Codage : (0101,0) (000,10) (01,0001) (0,000) 8/24

28 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 9/24

29 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 9/24

30 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 9/24

31 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 9/24

32 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 9/24

33 Autres petits problèmes 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 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? Peut-on trier n éléments en moins de O(n log n) comparaisons? 10/24

34 Autres petits problèmes 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 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? Peut-on trier n éléments en moins de O(n log n) comparaisons? 10/24

35 Autres petits problèmes 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 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? Peut-on trier n éléments en moins de O(n log n) comparaisons? 10/24

36 Autres 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) Peut-on écrire un programme qui affiche son propre code source? n boites contiennent ou bien un trésor ou bien une bombe. Un perroquet répond à une liste de questions formulées à l avance. Mais celui-ci peut se tromper (au plus une fois) en donnant les réponses. Combien de questions faut il poser (au minimum) pour connaitre à coup sûr le contenu des n boites? Exemple: n = 1, n = 4,... 11/24

37 Autres 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) Peut-on écrire un programme qui affiche son propre code source? n boites contiennent ou bien un trésor ou bien une bombe. Un perroquet répond à une liste de questions formulées à l avance. Mais celui-ci peut se tromper (au plus une fois) en donnant les réponses. Combien de questions faut il poser (au minimum) pour connaitre à coup sûr le contenu des n boites? Exemple: n = 1, n = 4,... 11/24

38 Autres 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) Peut-on écrire un programme qui affiche son propre code source? n boites contiennent ou bien un trésor ou bien une bombe. Un perroquet répond à une liste de questions formulées à l avance. Mais celui-ci peut se tromper (au plus une fois) en donnant les réponses. Combien de questions faut il poser (au minimum) pour connaitre à coup sûr le contenu des n boites? Exemple: n = 1, n = 4,... 11/24

39 Devenir des élèves Elèves ayant effectué leur 4ème année au dpt info de l ENSC (site Cachan). Emplois définitifs : Année de sortie Thèse à (1 CR) (3 MC, 1 CR, 1 IR) Chargé de recherche 18 Maître de conférences 25 PRAG Ing. rech. Public 5 Ing. rech. Privé 7 Prof. prépa 5 Postdocs 5 Devenir inconnu 2 MdC et chargés de recherche 43 70% Recherche et développement 12 20% Enseignement Sup. (hors MdC) 6 10% 12/24

40 La recherche (publique) en informatique Organisme Lieu d exercice Conditions Nb. Postes pour concourir CNRS CR2 laboratoire associé thèse (+ postdoc) INRIA CR2 équipe INRIA thèse (+ postdoc) MdC université (ou GE) thèse + qualification Autres organismes : CEA, EDF,... Grands centres industriels de recherche : France Telecom, Microsoft, ST-Microelectronics, Nortel Networks, Alcatel, Schlumberger,... Sources : /24

41 Le département d Informatique 4 Professeurs 5 Maîtres de conférences 9 Moniteurs Secrétaire : Catherine Forestier Ingénieur : Audrey Herbinière-Halbert 14/24

42 Le Laboratoire d Informatique Laboratoire Spécification et Vérification (LSV) 25 Chercheurs ou enseignants-chercheurs 24 Doctorants 13 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 15/24

43 Le diplôme Informatique de l ENS Cachan 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 (mi-septembre à mi-mars) Stages de recherche 4,5 mois de mars-juillet (à l étranger en M1) Dernière année d école: stage de recherche ou début de thèse. Parcours individualisés Année 3 : agrégation ou stage à l étranger Année 4 : M2 Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 16/24

44 Le diplôme Informatique de l ENS Cachan 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 (mi-septembre à mi-mars) Stages de recherche 4,5 mois de mars-juillet (à l étranger en M1) Dernière année d école: stage de recherche ou début de thèse. Parcours individualisés Année 3 : agrégation ou stage à l étranger Année 4 : M2 Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 16/24

45 Le diplôme Informatique de l ENS Cachan 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 (mi-septembre à mi-mars) Stages de recherche 4,5 mois de mars-juillet (à l étranger en M1) Dernière année d école: stage de recherche ou début de thèse. Parcours individualisés Année 3 : agrégation ou stage à l étranger Année 4 : M2 Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 16/24

46 Le diplôme Informatique de l ENS Cachan 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 (mi-septembre à mi-mars) Stages de recherche 4,5 mois de mars-juillet (à l étranger en M1) Dernière année d école: stage de recherche ou début de thèse. Parcours individualisés Année 3 : agrégation ou stage à l étranger Année 4 : M2 Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 16/24

47 Le diplôme Informatique de l ENS Cachan 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 (mi-septembre à mi-mars) Stages de recherche 4,5 mois de mars-juillet (à l étranger en M1) Dernière année d école: stage de recherche ou début de thèse. Parcours individualisés Année 3 : agrégation ou stage à l étranger Année 4 : M2 Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 16/24

48 Informatique et/ou Mathématiques? Première année: Concours Info Dpt. Info, Concours MP Dpt. maths. Mineure dans l autre discipline encouragée 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é. 17/24

49 Informatique et/ou Mathématiques? Première année: Concours Info Dpt. Info, Concours MP Dpt. maths. Mineure dans l autre discipline encouragée 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é. 17/24

50 Informatique et/ou Mathématiques? Première année: Concours Info Dpt. Info, Concours MP Dpt. maths. Mineure dans l autre discipline encouragée 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é. 17/24

51 EDT L3 1er semestre 18/24

52 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. 19/24

53 Programme de rentrée Entretiens individuels - Jeudi 8 septembre Journée portes ouvertes - Jeudi 8 septembre Rentrée pédagogique L3 Info - Lundi 12 septembre à 14h Soutenances de stages Conférences scientifiques (informatique) Conférences Maths-Info - Mardi 13 septembre Mathématiques : Lionel Moisan, Informatique : Nicolas Ollinger, ~nollinge/ 20/24

54 EDT Semaine /24

55 Journée portes ouvertes le 3 septembre Jeudi 8 septembre 2011 Exposés Département informatique Journées portes ouvertes 2011 Des exposés d une demi-heure sont proposés toute la journée à la bibliothèque du LSV. 9h15 Serge Abiteboul Gestion de données distribuées sur le web 10h15 Thomas Chatain Vérification de systèmes distribués 11h15 Benjamin Monmege Calculer avec des alligators 14h15 Laurent Fribourg Analyse d accessibilité et synthèse de contrôle dans les systèmes hybrides 15h15 Sylvain Schmitz Syntaxe en langue naturelle 16h15 Graham Steel Differential Attacks on PIN Processing APIs Se rendre au LSV Un accueil avec café et viennoiseries est prévu de 9h à 17h à la mezzanine du LSV. L entrée principale du LSV se situe au rez-de-chaussée de l aile Est du fer à cheval. LSV Bât. Alembert 22/24

56 EDT Semaine 3 23/24

57 Entretiens individuels - Jeudi 8 septembre 09h40 Barbero Florian 10h00 Beysson Clément 10h20 Dadoun Benjamin 10h40 Davy Guillaume 11h00 Duplouy Yann 11h20 Feuilloley Laurent 14h00 Halfon Simon 14h20 Jaziri Samy 14h40 Lajus Jonathan 15h00 Lefaucheux Engel 15h20 Razakarison Naina 15h40 Vernoux Romain 16h00 Foucault Cédric 16h20 Lamare Joris 16h40 Limasset Antoine 24/24