The Logic, Semantics and Categories team (LSC) located in the Luminy campus is a team from the Laboratoire d’Informatique et Systèmes (LIS, UMR CNRS 7020), at Aix-Marseille Université. Our research themes are related with formal structures for proofs and programs. We are interested in various technical approaches, which may be syntactic (deduction systems, lambda-calculus, rewriting…), semantic (domain theory, quantitative semantics, game semantics,…) or algebraic or categorical.
Keywords: type systems, proof systems, Curry-Howard correspondence, linear logic, denotational semantics, probabilistic programming, order theory, category theory.
News
- Lê Thành Dũng (Tito) Nguyễn has joined LSC as a CNRS researcher.
- Federico Olimpieri will be joinding LSC as lecturer in early 2025.
- Pierre Clairambault has defended his HDR on the 21/02/2024
Permanent members
- Pierre Clairambault, directeur de recherche CNRS (responsable d’équipe)
- Raphaëlle Crubillé, chargée de recherche CNRS
- Lê Thành Dũng (Tito) Nguyễn, chargé de recherche CNRS
- Luigi Santocanale, professeur des universités
PhD students and non-permanent team members
- Lison Blondeau-Patissier, doctorante
- Grégory Chichery, doctorant
- Cédric de Lacroix de Lavalette, doctorant