Cours (AA 11-12)

  • Introduction à l'Informatique et à la Programmation, (Licence Informatique, L1).
  • Programmation 1, (Licence Informatique, L3).
  • Compilation, (Master Ingénierie Informatique, M1).
  • Sécurité, (Master Ingénierie Informatique, M2).
  • Concurrence, (Master Parisien de Recherche en Informatique, M2).

    Une sélection de notes de cours et transparents
  • Outils logiques pour l'informatique (notes de cours).
  • Introduction à l'analyse syntaxique et à la compilation (notes de cours).
  • Compilation: de C au langage machine (transparents).
  • Foundations of Rewriting and Functional Programming (transparents en anglais).
  • Programmation: modules, objets et threads (transparents).
  • Une introduction à la cryptographie et aux protocoles cryptographiques (transparents).
  • Lectures on determinacy and synchrony in process calculi (transparents en anglais).
  • Lectures on extensions of basic process calculi (transparents en anglais).

    (Anciens) Doctorants
    Otmane Ait-Mohamed (Associate Prof. U. Concordia), Cédric Lhoussaine (MdC Lille), Vincent Vanackère (Ing. R. et D.) Charles Meyssonnier (?), Frédéric Dabrowski (MdC Orleans), Mehdi Dogguy (Post-doc ENS), Antoine Madet (thèse en cours), Ronan Saillard (Ing. R. et D.).