Cette page liste mes travaux scolaires. This page is also available in English.
Les travaux plus importants sont listés sur ma page d'accueil. Cette page liste les autres travaux.
Stage sur les grammaires attribuées modulaires¶
Rapports et transparents pour mon stage avec Éric Badouel à propos des grammaires attribuées modulaires.
Présentation sur CSSV¶
Transparents présentant l'article de Nurit Dor, Michael Rodeh et Mooly Sagiv : CSSV: Towards a Realistic Tool for Statically Detecting All Buffer Overflows in C. Pour le cours de Patrick Cousot.
Présentation sur les preuves de déconnexion¶
Rapport et transparents présentant et résumant l'article Disconnection proofs for motion planning. Pour le cours de Jean-Paul Laumond.
Présentation sur la concurrence de l'innocence¶
Transparents présentant l'article de théorie des catégories Asynchronous games 2: The true concurrency of innocence. Pour le cours de Paul-André Melliès.
Présentation sur l'équivalence entre la logique monadique du second ordre et les automates¶
Rapport et transparents présentant et résumant les théorèmes de la théorie des langages formels qui prouvent que les langages définissables par des formules de la logique du premier ordre ou du second ordre monadique sont respectivement les langages sans étoile et les langages réguliers. Pour le cours d'Olivier Carton.