Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
Influxus : explorations, nouveaux objets, croisements des sciences - Influxus
explorations - nouveaux objets - croisements des sciences
Fiche Auteur

Thomas Seiller

Thomas Seiller
Université de Savoie,
LAMA — UMR 5127 CNRS,
Bâtiment Chablais,
73376 Le Bourget-du-Lac Cedex

Page auteur

thomas.seiller [chez] inria.fr

Chercheur Post-Doctorant à l'INRIA, les recherches de Thomas Seiller portent sur les théorie de la démonstration et plus particulièrement sur la logique linéaire et la géométrie de l'interaction, les fondements mathématiques de l'informatique et la complexité algorithmique