معرفی
Luc Pellissier is an Assistant Professor at the Department of Computer Science, Paris-Est Créteil University, and a member of the LACL research team. His work focuses on the semantics of proofs and programs, leveraging tools like linear logic, category theory, and realizability.
- Research Interests: Proof theory, computational semantics, linear logic, categorical models, and intersection type systems.
- Selected Publications: Recent work explores connections between structuralist/distributional hypotheses and formal logic, coinductive programming, and resource-based proof structures.
- Collaborations: Co-organizes the Sémiomaths and SemioLog seminars, collaborating with researchers from ETH Zurich, Université de Paris, and IMERL (Uruguay).
- Grants & Projects: Participated in EU Horizon 2020 (SemioMaths) and ANR Rapido projects.
- Contact: Email: luc.pellissier@u-pec.fr
۰مقاله منتشرشده
