Enseignement



  • Analyse syntaxique et compilation Licence
  • Algorithmique avancée Maîtrise Bio/Info
  • Algorithmique Licence Math/Info
  • Système Licence Info
  • Techniques pour la modélisation par automates Mastère MPRI 2ème année, Page du cours
  • Logique et circuits Deug 2ème année (archives 2003-2004)
  • Mathématiques pour l'Informatique Maîtrise Info (archives 2004)
  • Langages formels, calculabilité et complexité Magistère 1ère année (archives 2002)
  • Système 2 Licence Info (archives 2004)
    • Une classe, gravure sur cuivre, Peter van der Heyden, d'après Peter Brueghel l'Ancien, Cock, 1557 (Musée National de l'Éducation)