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.
Mais quoi la Tunisie, s'il vous plaît! J'ai encore feuilleté, il y a un gros livre de Human Rights Watch qui paraît tous les ans pour faire l'état des droits de l'homme dans le monde : la Tunisie n'y figure même plus, alors bon!
Bernard Kouchner, le 7 mai 2008 sur France Inter