Travaux
Logiciels
- ProvSQL (semiring provenance in PostgreSQL)
- apxproof (LaTeX package to typeset proofs in appendix)
- TheoremKB (extraction of semantic information from mathematical research articles)
- Implementation and dataset on truth finding (data corroboration)
- Fuzzy XML
- Large sparse graph library
- Wikipedia related stuff
Sites Web
En plus de celui-ci, je maintiens un certain nombre de sites Web, ceux de :
- la section 6 du Comité national de la recherche scientifique
- l'enseignement au département d'Informatique de l'ENS
- Mohammad Sufian Bin Hudari
- la série de conférences Paris BD
Travaux divers
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.
Divers
- Conférences et journaux en libre accès
- La fonction McCarthy 91 en divers langages de programmation
- Exposé intermagistères sur le vieillissement biologique
- Tri manuel d'un jeu de cartes