About
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.
0Publications listed
Find Luc Segoufin elsewhere
Related Searches
You Might Also Like
Cristina SirangeloÉcole Normale Supérieure · Professor- AAlexandre VignyÉcole Normale Supérieure · Assistant Professor
Nofar CarmeliÉcole Normale Supérieure · Researcher
Sven DziadekInria · Assistant Professor
Nicole SchweikardtInria · Professor- AAlexandre VignyMax Planck Institute for Software Systems · Assistant Professor