Thomas Braibant

Contacts

Turbin : 04 76 61 54 57
B116, INRIA Rhône-Alpes, 655, avenue de l'Europe, Montbonnot
38334 Saint Ismier
Piaule : 06 63 30 37 53
09 53 96 19 84
42 avenue Alsace Lorraine, 38000 Grenoble
Courriel : thomas dot braibant at gmail dot com

Situation

J'entame ma seconde année de thèse sous la direction de Damien Pous et Jean-Bernard Stefani dans l'equipe Sardes, à l'INRIA Grenoble. La thématique principale de ma thèse est le développement d'outils d'aide à la preuve.

New: Avec Damien, nous développons des outils algébriques pour les relations binaires : ATBR.

Publications

The semantics of x86-CC multiprocessor machine code, .pdf
Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Tom Ridge and Thomas Braibant and Magnus O. Myreen and Jade Alglave, in Proc. POPL 2009
A Tactic for Deciding Kleene Algebras , .pdf
Thomas Braibant and Damien Pous in Proc. First Coq Workshop, Munich, Germany, August 2009.

Transparents

A tactic for deciding Kleene Algebras .pdf , séminaire du LIX, avril 2009
A tactic for deciding Kleene Algebras .pdf , séminaire gallium, juin 2009
A tactic for deciding Kleene Algebras .pdf , first coq workshop, aout 2009

Situation passée

Stage de L3 sous la direction de Daniel Hirschkoff et Damien Pous
Stage de M1 sous la direction de Jacques Garrigue
Stage de M2 sous la direction de Francesco Zappa Nardelli et Peter Sewell

Enseignements passés

Travaux pratiques d'informatique pour les classes préparatoires au Lycée Janson de Sailly (2007-2008)
Travaux pratiques de Maple au Lycée Champollion (2008-2009) (infos)
Travaux pratiques d'informatique pour les classes préparatoires au Lycée Champollion (2008-2009)

Divers

Ancien membre du Bureau des élèves de l'ENS Lyon
Ancien membre de la rédaction de la Tartine, le journal de l'école
Mon indice de Pous est 5 (si vous voulez en savoir plus sur cet indice, demandez à Romain Demangeon)

Des gens

B u b !
Grob et Pascal

Par ailleurs, je suis belge !