Thomas Braibant
Contacts
Bureau : 04 76 61 54 57
B116, INRIA Rhône-Alpes, 655, avenue de l'Europe, Montbonnot
38334 Saint Ismier
Personnel : 06 63 30 37 53
42 avenue Alsace Lorraine, 38000 Grenoble
Courriel :
Thomas
dot Braibant
at gmail
dot
com
PGP public key key
TDs de Caml (inf121, UJF) Voir ici,
pour un tutorial succint sur ocaml, tuareg, emacs, et des exemples de
programmes.
Situation
Je suis en quatrième 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.
- Avec Damien, nous développons des outils algébriques pour
les relations binaires : ATBR.
- Avec Damien, nous développons des tactiques de réécriture
modulo AC pour Coq: aac_tactics.
- New Coquet: a Coq library for verifying
hardware ( here )
Publications
Voir ici
Des transparents
- An efficient tactic for deciding Kleene Algebras .pdf , ITP 2010
- Rewriting modulo associativity and commutativity in Coq .pdf , second coq workshop, 2010
- A tactic for deciding Kleene Algebras .pdf , first coq workshop, aout 2009
- A tactic for deciding Kleene Algebras .pdf , séminaire gallium, juin 2009
- A tactic for deciding Kleene Algebras .pdf , séminaire du LIX, avril 2009
Situation passée
Je suis un ancien élève de l'ENS Lyon, et j'ai effectué un certain
nombres de stages.
Enseignements
- 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)
- En 2009-2010, je suis moniteur à l'UJF et je fais des TDs de programmation fonctionelle en INF 121
- En 2010-2011, je suis moniteur à l'UJF et je fais des TDs de programmation fonctionelle en INF
121, après avoir fait des TDs d'algorithmique à l'ENSIMAG
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 1 (si vous voulez en savoir plus sur cet indice, demandez à Romain Demangeon)
Des gens
Par ailleurs, je suis belge !