Salvati Sylvain

Sylvain Salvati est actuellement Chargé de Recherche à l’INRIA Bordeaux Sud-Ouest où il travaille au sein de l’équipe Signes.

Son travail porte sur un formalisme grammatical fondé sur le λ-calcul et la logique linéaire : les grammaires catégorielles abstraites (www).

D’un point de vue plus général, Sylvain Salvati s’intéresse aux liens entre théorie formelle des langages et théorie de la démonstration.