Contact

Recherche

Centres d'intérêt et thèmes de recherche

• Automates cellulaires (principalement en tant que modèle de calcul)
• Problèmes de décidabilité/calculabilité
• Pavages du plan
• Complexité de Kolmogorov

Publications

La liste de mes articles publiés ou en attente de publication.

Thèse

Quelques informations concernant ma thèse : un résumé des travaux ainsi que la version finale de mon manuscrit de thèse. La soutenance a eu lieu le 8 décembre 2006 à l'ENS Lyon.

Enseignement

Initiation à l'informatique (2011)

Cours, TD et TP. Ce cours est réalisé en collaboration avec Belaid Benhamou, François Denis, Sabine Fritella, Karl Schlechta et Pierre Siegel.
Contenu du cours : Présentation de l'informatique, fonctionnement d'un ordinateur, utilisation de systèmes d'exploitation Unix, introduction à l'algorithmique et programmation en Python.

Algorithmique et structures de données (2009, 2010 et 2011)

Cours, TD, TP. Les TD et TP ont été réalisés en collaboration avec Martin Delacourt et Viet Phan Luong.
Contenu du cours : Algorithmique : récursivité, complexité, programmation dynamique. Structures de données : tableaux, listes, listes chaînées, files, piles, tas, arbres. Le langage utilisé pour les TP est le python.

Outils de l'Internet (2007, 2008, 2009 et 2010)

Cours et TD. Les TP ont été réalisés par Alexis Ballier puis Nicolas Ollinger.
Contenu du cours : présentation d'Internet, un peu de réseau, de normes, de langages, etc.

TP de Matlab (2009)

Séances de TP d'initiation à Matlab en Bio Sup au Lycée Thiers. Les fiches ont été réalisées en collaboration avec Pascal Vanier.

Automates cellulaires (2007)

Quelques documents concernant le cours de M2 recherche que j'ai donné à l'université de Provence.
Contenu du cours : définitions des automates cellulaires, caractérisation topologique, problèmes de décidabilité, reconnaissance de langages, signaux, etc.

Fondements de l'informatique I (2006)

Les fiches de TD et le partiel pour le cours de Michel Morvan aux élèves de L3 à l'ENS Lyon (en collaboration avec Sylvain Perifel).
Contenu du cours : automates finis, langages rationnels, automates à pile, grammaires algébriques, systèmes de réécriture, théorème de confluence.

Algorithmique (2006)

Les fiches de TD, le devoir maison et le partiel du cours d'Anne Benoit en L3 à l'ENS Lyon (en collaboration avec Damien Regnault).
Contenu du cours : algorithmes de tri et de recherche, programmation dynamique, algorithmes gloutons, classes de complexité, réduction polynomiale (NP-complétude).

Evaluation théorique des problèmes (2005)

Quelques fiches de TD et un partiel correspondant au cours de Marianne Delorme en M1 à l'université Lyon 1.
Contenu du cours : classes de complexité Turing, théorèmes de hiérarchie, théorème de Savitch, NP-complétude, PSPACE-complétude.

Automates et calcul (2005)

Encore des fiches de TD et un nouveau partiel (en collaboration avec Anne Bouillard).
Contenu du cours : automates finis, langages rationnels, automates à pile, grammaires algébriques, langages algébriques, machines de Turing.

Décidabilité (2004)

Les fiches de TD et le partiel du cours de décidabilité de Jacques Mazoyer en L3 à l'ENS Lyon (en collaboration avec Vincent Nesme).
Contenu du cours : machines de Turing, fonctions récursives primitives, théorème s-m-n, point fixe de Kleene, ensembles récursifs, ensembles récursivement énumérables, complexité de Kolmogorov, théorème d'incomplétude.

Automates et langages formels (2004)

Les fiches de TD et le partiel du cours d'automates de Marianne Delorme en L3 à l'ENS Lyon (en collaboration avec Stéphane Le Roux).
Contenu du cours : automates finis, langages rationnels, automates à pile, grammaires algébriques, langages algébriques, grammaires LL et LR, mots infinis.