Poste de Professeur en informatique (27e section) à l’ENS de Lyon

Enseignement

La ou le professeur intégrera le département informatique de l’ENS de Lyon. Elle/il dispensera des enseignements faisant une place importante aux aspects programmation et/ou expérimentation de l’informatique, comme par exemple : les projets de programmation, la compilation, le système, les réseaux, l’architecture, etc.Conformément aux missions des ENS, elle ou il accompagnera des étudiants vers des carrières académiques dans ces thématiques. Il est attendu que la ou le professeur s’implique fortement dans la réflexion sur l’offre de formation. Les candidatures internationales sont bienvenues, l’enseignement pouvant se faire en anglais.

Recherche

La candidate/le candidat devra développer un projet de recherche s’intégrant dans l’une des thématiques du LIP, ou apporter une nouvelle thématique en harmonie avec le spectre actuel. Ce projet de recherche devra être en cohérence avec l’activité d’enseignement proposée. Elle/il aura fait preuve d’une activité de recherche dans le domaine, ayant fait l’objet de publications ou de productions logicielles au meilleur niveau international.Elle/il pourra être amené à assurer des fonctions de type « encadrement de la recherche ». Ce recrutement est très largement ouvert : les candidatures externes françaises et étrangères sont fortement encouragées.

Le laboratoire LIP

Le LIP est une unité mixte de recherche commune au CNRS, à l’ENS de Lyon, à INRIA et à l’Université Claude Bernard Lyon 1. Il se compose actuellement de 145 membres (dont 60 enseignants-chercheurs et chercheurs, 11 ITA, 48 doctorants et 26 postdoctorants) et comprend 7 équipes de recherche. Il est localisé sur le site de l’ENS de Lyon à Gerland. L’orientation scientifique du LIP s’inscrit dans le thème général de l’informatique du calcul, allant des fondements (modèles du calcul, langages) à l’exécution (ordonnancement, intergiciels) en passant par les outils du calcul (algorithmes, compilation). Une de ses spécificités consiste en l’existence d’un continuum entre l’informatique fondamentale et la mise en œuvre pratique, permettant d’aller du théorème au transfert de technologie, via l’algorithme et le logiciel.

Comment trouver le bureau du DI ?

Comment trouver S. Zeitounian qui vous accompagne pour vos nombreuses démarches vis à vis du DI ?

Vous pouvez rejoindre facilement le bureau du DI (LE 237) en 6 étapes.

  • Étape 1: Se rendre à l’ENS bâtiment Monod.
  • Étape 2: Entrer par l’entrée opposée à l’accueil principale (vers les amphis de physique)
  • Étape 3: Avancer jusqu’aux Amphis
  • Étape 4: Prendre à gauche et passer devant les Amphis G, F et E
  • Étape 5: Tourner à droite après l’amphi E dans l’allée 2
  • Étape 6: C’est la quatrième porte sur votre droite (juste avant l’allée B)

Ouverture du lundi au vendredi

9h-12h15 / 13h15-17h00

Admistrative Office of the DI
Admistrative Office of the DI

ER02: Calcul numérique et calcul numérique rigoureux (15-19 Janvier 2018)

Intervenants, présentation de l’école et ressources utiles : voir la version anglaise.

Planning de l’école de recherche ER02

8h15-10h 10h15-12h 14h15-16h 16h15-18h
Monday Chebyshev (amphi B) Chebyshev (salles de TP E001 et 125) Validated numerics (amphi B)
Tuesday Validated numerics (amphi B) Validated numerics (amphi B) Chebyshev (amphi B) Chebyshev (salles de TP E001 et 125)
Wednesday Chebyshev (amphi B) Validated numerics (amphi B) Validated numerics (amphi B)
Thursday Validated numerics (amphi B) Validated numerics (amphi B)
Friday Chebyshev (salles de TP E001 et 125) Chebyshev (amphi B) Exam (amphi B)

Séminaires SIESTE 2013/2014

29 janvier 2013.Pascal Cuoq. Collaboration d’analyses dans Frama-C.

Résumé: Frama-C est une plateforme collaborative d’analyse statique pour le langage C. Chaque technique ou idée peut être implémentée dans Frama-C sous la forme d’un greffon.

Un moyen de collaboration entre greffons est par le langage de spécification ACSL : l’analyse de valeurs, un greffon d’interprétation abstraite, insère dans le programme cible des assertions ACSL pour chaque comportement non défini qu’elle est incapable d’exclure. Ces assertions peuvent être vérifiées par un autre greffon, tel qu’un greffon basé sur la logique de Hoare.

12 février 2013.Clément Pernet. Calcul de formes normales matricielles: de l’algorithmique à la mise en pratique. slides

Résumé: En algèbre linéaire, les formes normales fournissent des représentants uniques pour les classes d’équivalence selon différentes transformations: la forme normale de Frobenius pour la similitude dans un corps, la forme normale de Hermite pour l’équivalence dans un anneau ou de Gauss-Jordan pour l’équivalence dans un corps.
Leur calcul permet en outre de révéler la plupart des caractéristiques d’une matrice, comme le rang, le profil de rang, le déterminant, les facteurs invariants, etc.
De nombreux progrès ont été réalisé au cours des 20 dernières années concernant d’une part la réduction des complexités des algorithmes, et d’autre part les techniques logicielles pour des implantations efficaces.
Nous présenterons une sélection de ces techniques algorithmiques et logicielles appliquées à l’élimination de Gauss, le calcul de la forme normale de Frobenius et de la forme normale de Hermite.

19 février 2013.Corinne Touati. Quelques conséquences contre-intuitives d’une prise de décision distribuée.

Résumé: La théorie de la décision rationnelle, et plus particulièrement sa composante distribuée, la théorie des jeux, a connu un fort développement depuis la formalisation de la notion d’équilibre par Nash dans les années 50. Ses applications en économie ont été récompensées par pas moins de 12 prix Nobel depuis les années 90. Le dernier en date (novembre 2012) a été attribué à Lloyd Shapley et Alvin Roth notamment pour leurs applications au partage de ressources.
Nous allons justement dans cet exposé regarder quelques (contre-) exemples du lien entre optimisation distribuée et prise de décision (optimale) distribuée dans des problèmes d’allocation de ressources tirées d’exemples de réseaux de communications.

19 mars 2013.Claire Mathieu. Algorithms for Optimization over Noisy Data.

Résumé: To deal with NP-hard reconstruction problems, one natural possibility consists in assuming that the input data is a noisy version of some unknown ground truth. We present several examples, in particular correlation clustering, and transitive tournaments. In correlation clustering, the goal is to partition data given pairwise similarity and dissimilarity information, and sometimes semi-definite programming can, with high probability, reconstruct the optimal (maximum likelihood) underlying clustering. The proof uses semi-definite programming duality and the properties of eigenvalues of random matrices. The transitive tournament problem asks to reverse the fewest edge orientations to make an input tournament transitive. In the noisy setting it is possible to reconstruct the underlying ordering with high probability using simple dynamic programming.

26 mars 2013.Jean-Sébastien Sereni. Limites de graphes denses.

Résumé: Le but de cet exposé est de fournir une introduction à la théorie des limites
de graphes denses, développée depuis 2005 principalement par Lovász et ses
co-auteurs. Outre une introduction générale aux fondements de la théorie, un
exemple concret d’application à un problème extrémal sera détaillé.

2 avril 2013.David Coeurjolly. Introduction à la géométrie discrète et axe médian discret minimal. slides

Résumé: L’objectif de la présentation sera de faire une petite introduction à la géométrie discrète et de se focaliser sur un problème combinatoire particulier : le calcul d’un axe médian discret minimal. Il s’agit de construire une représentation d’un objet discret (partie de Z^n) comme union d’un ensemble de boules discrètes (discrétisation boule euclidienne), si possible de cardinalité minimale. Ce problème a l’avantage d’être auto-suffisant et simple à décrire mais nous emmènera vers une preuve de NP-complétude « géométrique » assez amusante (bon… à minima intéressante…).

9 avril 2013.Tom Hirschowitz. Vers une théorie des langages de programmation. slides

Résumé: On sait de mieux en mieux raisonner sur les langages de programmation,
comme en témoignent, par exemple, les récents progrès en matière de
certification de compilateurs. En revanche, même si on a des méthodes,
qu’on peut reproduire, on sait mal pour l’instant formaliser des
résultats généraux, pouvant s’appliquer à plusieurs langages.
L’exposé abordera quelques approches envisagées pour remédier à cette
situation. A l’instar, quelques années plus tôt, des mathématiciens
ayant défini des notions générales de groupe, anneau, etc, toutes ces
approches tentent de dégager une notion générale de langage de
programmation.

16 avril 2013.Samuel Hym. Evaluation de la consommation mémoire de programme.

Résumé: Pour éviter qu’un logiciel (en particulier dans des systèmes critiques) ne fasse d’erreurs par manque de mémoire, on veut borner la quantité de mémoire qu’il peut nécessiter. Dans de nombreux langages (tels que Java, Ocaml ou encore Javascript) les désallocations ne sont pas gérées explicitement par le programmeur: le garbage collector (GC) s’y charge d’identifier les objets morts et de récupérer leur mémoire. On verra donc dans cet exposé quelques unes des difficultés à résoudre pour obtenir un résultat suffisamment proche de la réalité. Quels problèmes engendrent exactement les GCs? Comment décomposer le problème pour arriver à traiter des programmes qui ne soient pas juste jouets? Comment traiter les nids de boucle?

CR-09 : Grilles et Nuage de Calcul

Programme de l’UE

Ce cours vise à offrir une présentation la plus large possible de ce qui fait en recherche autours des grilles (dans différentes déclinaisons grilles de calcul, grille de recherche, grille de production, etc.). Nous aborderons des sujets tels que les architectures de grille, la gestion de données (Hadoop, etc.), les intergiciels, la notions de services (SOA, PaaS, SaaS, …), le Cloud computing, etc. ainsi que les différents modèles de programmation, tels que les worflows, les composants logiciels, les squelettes algorithmiques ou encore les modèles chimiques. Ce cours de seconde année de master sera fortement orienté recherche par l’étude d’articles du domaine par les étudiants.

Intervenants

  • Eddy Caron
  • Christian Perez

Systèmes distribués

Résumé

Cet enseignement se focalise sur les aspects algorithmiques des systèmes distribués (ou répartis). La mise en œuvre d’algorithmes distribués pour résoudre les problèmes de communication, d’allocation de ressources et de synchronisation seront abordés. Ainsi les  les problèmes d’élection de leader, les algorithmes à vagues, la détection de terminaison, les algorithmes de routages, la tolérance aux fautes, l’auto-stabilisation, etc. sont autant d’illustrations des points qui seront abordés dans cet enseignement. Différents types de mise en oeuvre de systèmes distribués seront également abordés au travers d’ERLANG, de CORBA ou encore de l’intergiciel DIET.

Intervenants

  • Eddy Caron, MdC ENS Lyon
  • Vincent Lanore, doctorant ENS Lyon

Langue

Anglais ou Français en fonction de la demande.