Après une période de thèse fantastique dans le merveilleux
laboratoire "Preuves Programmes et Systèmes" PPS de l'Université
Paris 7, j'ai
soutenu un 17 décembre 2004.
A l'époque je faisais de la sémantique des jeux, de la logique
linéaire et des catégories.
Depuis j'ai travaillé 6 mois au centre commun de recherche
d'EADS à suresnes ou j'ai joué dans des films d'espionnage le
rôle d'un chercheur en obfuscation de code.
Aujourd'hui je ne suis plus ni thésard à PPS (larmes) ni
chercheur à EADS, je suis chercheur au sein de l'équipe
Commune de Recherche X-CEA MeASI (pour Modélisation et
Analyse des Systèmes en Interaction ) ou je travaille avec
Emmanuel Haucourt et Sanjeevi Krishnan sur l'analyse de
systèmes parallèle par topologie algébrique. Et j'ai bon
espoir un jour d'arriver à faire cohabiter des choses de ma
thèse avec des choses que je fais maintenant.
Mon adresse mail à PPS est toujours valide et ressemble à
Prénom.Nom@pps.jussieu.fr. Mes adresses au
cea et à l'X marchent aussi et collent aussi au modèle:
Prénom.Nom@cea.fr.
Prénom.Nom@lix.polytechnique.fr.
Publications et choses écrites
Écrits
Playing for truth on mutable graphs
joint work with André and Tom Hirschowitz presented in
the colloquium in honor of Gérard Huet, in
progress for festshrift (PDF de 1Mo, presentation version
PDF )