معرفی
Luc Segoufin is a Research Professor at INRIA (French National Institute for Research in Computer Science and Automation), affiliated with the Department of Computer Science at École Normale Supérieure (ENS) in Paris. He leads the VALDA research team, focusing on theoretical computer science foundations.
His research spans:
- Database theory: Query answering, consistency, and enumeration complexity
- Logic and automata: Finite model theory, automata over data structures
- Computational complexity: Fine-grained analysis and lower bounds
- Formal methods: Verification and logic-based modeling
His recent publications (2022–2024) concentrate on:
- Dichotomy theorems for query answering under constraints
- Constant-delay enumeration algorithms for structured data
- Decidability in logic fragments over trees and graphs
- Connections between automata, algebra, and complexity
No scientific awards are mentioned in available sources.
He collaborates extensively within the VALDA team and international researchers on projects involving database theory, logic, and automata. No student advising details are provided.
۰مقاله ثبتشده
