Travaux
Vous trouverez ici divers travaux réalisés aux cours de mes études, d'intérêt plus ou moins grand.
Stages, Rapports d'informatique
- Divers documents concernant mon stage de maîtrise sur l'extraction d'information dans de grands graphes et la recherche de quasi-synonymes.
- TIPE d'informatique, réalisé avec Arnaud Boulan, sur les codes correcteurs d'erreurs : des codes convolutifs aux turbo-codes
Projets informatiques
- Un compilateur d'un micro-langage fonctionnel, conçu dans le cadre du cours de compilation de P. Cousot.
- Exposé de vulgarisation sur les bases de données et les travaux de thèse de Matthieu Objois et moi-même.
Exposés sur des articles de recherche
- Présentation de l'article W. H. Hesselink ; Predicate-Transformer Semantics of General Recursion ; Acta Informatica 26, 309-332 (1989).
- Présentation de l'article R. Meo ; Theory of Dependence Values ; ACM Transactions on Database Systems 25, 380-406 (2000), réalisée avec Marc Glisse
- Présentation de l'article T. Calders, R. T. Ng, J. Wijsen ;Searching for dependencies at multiple abstraction levels ; TODS 27(3), 229-260 (2002), réalisée avec Matthieu Objois.