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
42 avenue Alsace Lorraine, 38000 Grenoble
Courriel : Thomas dot Braibant at ens-lyon dot fr

Situation

Je suis en quatrième année à l'Ecole Normale Supérieure de Lyon, et j'entame ma première année de thèse de Doctorat 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.

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

TDs

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 !