Je travaille sur l'analyse statique de programmes numériques, en particulier sur l'analyse du contenu des tableaux.
J'enseigne principalement la compilation, le génie logiciel et la programmation notamment
avec le langage ocaml.
recherche - enseignement - séminaires
Par ailleurs, je prends un peu de temps pour militer à Amnesty International.
Ulysse - [...] Les nations, comme les hommes, meurent d'imperceptibles impolitesses. [...]
Jean Giraudoux, “La guerre de Troie n'aura pas lieu”, II, 13