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
BLONDEAU-PATISSIER Lison Doctorant
Mme BLONDEAU-PATISSIER Lison
Doctorant
lison.blondeau-patissier@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 04.21
Doctorant
lison.blondeau-patissier@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 04.21
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
OLIMPIERI Federico Post-doctorant
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.