Concours Informatique

Transcription

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

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

3 Quelques 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? Complexité 3/19

4 Quelques 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? Complexité 3/19

5 Quelques 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? Complexité 3/19

6 Quelques petits problèmes Le Problème de correspondance de Post. Donnée: n et deux suites u 1,..., u n et v 1,..., v n de n mots sur l alphabet {a, b}. Question: existe-t-il un entier k et une suite d indices i 1,..., i k tels que Exemple : u i1 u ik = v i1 v ik i u i a b ca abc v i ab ca a c est une solution: a b ca a abc = ab ca a ab c Calculabilité 4/19

7 Quelques petits problèmes Le Problème de correspondance de Post. Donnée: n et deux suites u 1,..., u n et v 1,..., v n de n mots sur l alphabet {a, b}. Question: existe-t-il un entier k et une suite d indices i 1,..., i k tels que Exemple : u i1 u ik = v i1 v ik i u i a b ca abc v i ab ca a c est une solution: a b ca a abc = ab ca a ab c Calculabilité 4/19

8 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

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

10 L informatique en plein essor Effectifs MCF 1/2003 1/2005 1/2007 1/2009 Informatique (27) 1905 (5.5%) 2158 (6.3%) 2329 (6.6%) 2357 (6.6%) Maths (25 & 26) 2299 (6.6%) 2121 (6.2%) 2154 (6.1%) 2076 (5.8%) Total ttes disciplines Recrutements Nb. Postes ttes disc Postes Info. (27) % 7.4% 6.9% 7.1% 7.4% 5.8% 5.6% 6.3% qualifiés Postes Maths (25) % 2.3% 2.1% 2.6% 2.5% 2.5% 1.9% 2.9% qualifiés Maths appli. (26) % 3.1% 2.2% 2.4% 3.9% 3.5% 3.6% 4.0% qualifiés Source: 7/19

11 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). Année de sortie : Emplois définitifs : Thèse Thèse Thèse Thèse 25 Situation inconnue 2 Chargé de recherche 12 Maître de conférence 20 PRAG Ing. rech. Public 2 Ing. rech. Privé 5 Prof. prépa 3 Postdocs 6 Devenir inconnu 2 MdC et chargés de recherche 32 75% Recherche et développement 7 16% Enseignement Sup. (hors MdC) 4 9% 8/19

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

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

14 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. 11/19

15 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: Master Parisien de Recherche en Informatique. 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) Dernière année d école: début de thèse. Parcours individualisés Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 12/19

16 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: Master Parisien de Recherche en Informatique. 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) Dernière année d école: début de thèse. Parcours individualisés Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 12/19

17 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: Master Parisien de Recherche en Informatique. 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) Dernière année d école: début de thèse. Parcours individualisés Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 12/19

18 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: Master Parisien de Recherche en Informatique. 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) Dernière année d école: début de thèse. Parcours individualisés Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 12/19

19 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: Master Parisien de Recherche en Informatique. 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) Dernière année d école: début de thèse. Parcours individualisés Formation à la recherche : stages, visites de laboratoires Conférences de rentrée 12/19

20 Mathématiques et/ou informatique? Première année: Concours MP Dpt. maths, Concours Info Dpt. Info Mineure de l autre discipline encouragée Cursus Maths-Info, 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é. 13/19

21 Mathématiques et/ou informatique? Première année: Concours MP Dpt. maths, Concours Info Dpt. Info Mineure de l autre discipline encouragée Cursus Maths-Info, 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é. 13/19

22 Mathématiques et/ou informatique? Première année: Concours MP Dpt. maths, Concours Info Dpt. Info Mineure de l autre discipline encouragée Cursus Maths-Info, 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é. 13/19

23 EDT L3 1er semestre Emploi du temps - A1 Premier semestre 2009/2010. Les cours commencent le 14 septembre, sauf l'anglais qui commence le 22 septembre. Lundi Mardi Mercredi Jeudi Vendredi 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 10h-12h30 Anglais salles C2XX (à préciser) 13h30-15h30 Calculabilité-logique C 315 H. Comon-Lundh??? 15h30-18h30 TP Programmation C 411 S. Ciobaca? P. Chambart? 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 9h-12h Calculabilitélogique C 205 H. Comon-Lundh??? 13h-16h Calcul différentiel C 315 F. Pascal FDV V. Beck 16h15-18h15 Algorithmique C 205 P. Gastin M. Habib 9h-12h TP Système et réseaux C 205 ou C 411 S. Schwoon R. Treinen P. Chambart? 13h30-16h30 Algorithmique C 315 M. Habib Th. Place? 9h-12h Intégration / Proba C 311 A. Trouvé 9h00-13h00 Algebre C 315 V. Beck P. Le Meur 14h-17h Probabilités discrètes C 205 puis C 321 N. Vayatis file:///users/gastin/documents/administration/cachan/slides/edt-l3-s1-09.html 14/19

24 Programme de rentrée Entretiens individuels, Journée portes ouvertes Rentrée pédagogique L3 Maths-Info Soutenances de stages Conférences scientifiques (informatique) Conférences Maths-Info Éric Cancés, ~cances/home.html Les mathématiques de la simulation moléculaire Véronique Bruyère, Logiques et automates sur les nombres réels et entiers, avec applications en vérification assistée par ordinateur 15/19

25 EDT Semaine 1 Certains évènements sont communs avec les anciens: certaines mardi, 1 septembre É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 10:00 Choix de départemement MP, Info, Amphi M. Curie Rentrée pédagogique L3 maths et info, Cournot C103 16/19

26 Les nouveaux entrants ont un programme spécifique. EDT Semaine 2 Certains évènements sont communs avec les anciens: certaines conférences et certaines soutenances de sta lundi, 7 septembre lundi, 7 septembre 09:00 14:00 09:30 11:15 09:30 12:30 16:00 10:00 10:00 14:00 14:00 Choix de départemement MP, Info, Amphi M. Curie Rentrée pédagogique L3 maths et info, Bât d'alembert, Salle Condorcet mardi, 8 septembre Conférence L3 Math Info 1-- Éric Cancés -- Les mathématiques de la simulation moléculaire Conférence L3 Math Info 2 -- Véronique Bruyère -- Logiques et automates sur les nombres réels et enti mercredi, 9 septembre W. Mackay -- TBA Pot de rentrée du dpt info Soutenances jeudi, 10 septembre Soutenances vendredi, 11 septembre Soutenances Frédéric Desprez -- Grilles de Calcul vendredi, 18 septembre WEI Événements jusqu'au 31/3. Rechercher des événements après cette date 17/19

27 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

28 Entretiens individuels - Jeudi 3 septembre 09h00 Astolfi Charles-Pierre 09h20 Baschenis Félix 09h40 Bonaque Raphaël 10h00 Cantat-Moltrecht Tigrane 10h20 Cauderlier Raphaël 10h40 Courtois Jean-Baptiste 11h00 Kallas Jakub 11h20 Lagoutte Aurélie 11h40 Madelaine Guillaume 14h00 Mifsud Clément 14h20 Moisy-Mabille Kévin 14h40 Montoya David 15h00 Cheval Rémi 15h20 Contal Émile 15h40 Gleize Martin 16h00 Rauzy Pablo 16h20 Rolin Pierre 16h40 Geoffroy Yoann 17h00 Rébolini Élisa 19/19