معرفی
Sylvain SALVATI is a Researcher and Teacher Team Leader for the LINKS team at Inria, affiliated with CRIStAL (Centre de Recherche en Informatique, Signal et Automatique de Lille), a joint research unit of Inria, CNRS, and University of Lille. He maintains dual offices at Inria's Haute Borne site (Building B, Office B217) and University of Lille's Science City campus (Building M3, Office 334).
His research centers on Theoretical Computer Science with emphasis on Formal Languages, Automata Theory, and Semigroup Theory, intersecting with Database Systems including data transformation safety, compilation techniques, and aggregation methods. This work bridges abstract algebraic structures with practical database applications, particularly through vectorization approaches for language validation.
Dr. SALVATI has supervised four doctoral theses at CRIStAL: Corentin Barloy's complexity analysis of regular languages (2024), Paul Gallot's safety frameworks for data transformations (2021), Oliver Irwin's compilation methods in database systems, and Claire Soyez-Martin's semigroup-theoretic vectorization techniques for language validation (2023).
As leader of the LINKS team, he directs research in Logic, Interaction, Networks, Knowledge representation, and Service-oriented computing, contributing to both foundational theory and applied computer science through collaborative projects within the University of Lille's research ecosystem.
