معرفی
Thomas Place serves as a Lecturer at LaBRI (Laboratoire Bordelais de Recherche en Informatique) within the University of Bordeaux, France. His research focuses on theoretical foundations of computer science with emphasis on logical frameworks for language recognition.
Education Background:
- PhD completed at LSV (Laboratoire Spécification et Vérification) under supervision of Luc Segoufin
Research Focus:
Place specializes in logic and automata theory, investigating the expressive power of monadic second-order logic fragments over word and tree structures. His work centers on quantifier alternation hierarchies, concatenation hierarchies, and fundamental problems in language separation and covering. He develops algebraic methods to characterize logical fragments and determine decidability boundaries for regular language classes.
Publication Trends:
His recent output (2022-2024) demonstrates sustained focus on extending separation theory to complex logical fragments, resolving open problems in dot-depth hierarchies, and establishing generic frameworks for polynomial closure. The work consistently appears in premier venues like LICS and CSL, with Marc Zeitoun as primary collaborator across 80% of recent publications.
Research Environment:
Place operates within LaBRI, a major CNRS-affiliated computer science laboratory at the University of Bordeaux that houses 350+ researchers. His work connects to broader European theoretical computer science networks through frequent collaborations with institutions like ENS Paris-Saclay (where he completed his doctorate at LSV).
