LSC : Logique, sémantique et catégories
Mots clés
Type systems, proof systems, Curry-Howard correspondence, linear logic, denotational semantics, probabilistic programming, order theory, category theory.
Responsable
Pierre Clairambault
Membres
BLANCHI Victor Doctorant
CHICHERY GREGORY Doctorant
CLAIRAMBAULT Pierre Chercheur
M. CLAIRAMBAULT Pierre
Chercheur
pierre.clairambault@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 408
Chercheur
pierre.clairambault@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 408
CRUBILLÉ Raphaëlle Chercheur
Mme CRUBILLÉ Raphaëlle
Chercheur
raphaelle.crubille@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 04.08
Chercheur
raphaelle.crubille@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 04.08
DE LACROIX DE LAVALETTE Cedric Doctorant
M. DE LACROIX DE LAVALETTE Cedric
Doctorant
cedric.de-lacroix-de-lavalette@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 421
Doctorant
cedric.de-lacroix-de-lavalette@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 421
NGUYEN le thanh dung Chercheur
M. NGUYEN le thanh dung
Chercheur
le-thanh-dung.nguyen@lis-lab.fr
https://nguyentito.eu/
Luminy, AMU TPR2 ET GRAND HALL, étage 4ème, bureau 04.08
Chercheur
le-thanh-dung.nguyen@lis-lab.fr
https://nguyentito.eu/
Luminy, AMU TPR2 ET GRAND HALL, étage 4ème, bureau 04.08
SANTOCANALE Luigi Enseignant/Chercheur
M. SANTOCANALE Luigi
Enseignant/Chercheur
luigi.santocanale@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 438
Enseignant/Chercheur
luigi.santocanale@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 438
Objectif scientifique
L’équipe LSC, localisée sur le campus de Luminy, s’intéresse aux approches formelles pour raisonner sur les preuves et les programmes. Les travaux au sein de l’équipe couvrent des approches qui peuvent être syntaxiques (systèmes de déduction, lambda-calcul, réécriture…), sémantiques (théorie des domaines, sémantiques quantitatives, sémantiques des jeux…), catégoriques ou algébriques.