Thomas Seiller - Projects

Current Projects


BIGRe stands for "Bornes Inférieures Géométriques par Réalisabilité", aka "Geometric Lower Bounds through Realisability". This is a one-year young investigator project funded by CNRS's computer science institute INS2I (INS2I-JCJC-2018).

Passed Projects

ReACT -- a Realisability Approach to Complexity Theory, H2020-MSCA-IF-2014, 2015--2018, webpage
"Vérité et Preuves", national network of PhD students, 2010-2011. webpage (in french)