معرفی
Thomas Seiller is a CNRS Researcher (Chargé de Recherche) at the Laboratoire d'Informatique de Paris Nord (LIPN), Université Paris 13, and an associated researcher at the Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST, UMR 8590). He serves as the scientific secretary of Section 06 and board member of CID 53 at the National Committee for Scientific Research (CoNRS).
His research explores the intersection of logic, computation, and dynamical systems, with core interests in:
- Computational complexity through geometric methods
- Linear logic and proof theory
- Geometry of interaction programs
- Algorithmic foundations and formal verification
He received notable fellowships including the Marie Curie Fellowship and Carmin Fellowship. Seiller leads the ANR JCJC project 'DySCo' (Dynamical Systems and Computation) and has organized multiple conferences including the Dagstuhl research meeting 'Formalising the Notion of Algorithm'.
He currently advises PhD students on topics spanning models of computation, higher-categorical polynomial models, and proofs-as-programs interpretations. Seiller maintains active collaborations across Europe and Japan, with frequent invited talks on computational complexity foundations.
