I am a maître de conférences (~ tenured assistant professor) at the LACL, teaching at the Law Faculty at the Université Paris-Est Créteil. I work on the semantics of proofs and programs, and more specifically using tools and point of view coming from linear logic, (higher) category theory, realizability and intersection types.

I am also interested in bringing techniques from semantics not only to verification, but also other aspects of computer science: making programming more fun, or understable.

Contact information

• luc.pellissier@u-pec.fr
  I try to answer in one week, do not hesitate to ping me again after that!
• Bureau P2-213 (Campus Centre) et B412 (site Boulle)
• LACL, Département d’Informatique
  Faculté des Sciences et Technologie
  61 avenue du Général de Gaulle
  94010 Créteil

Resumé

In excruciating details in French and with much less details in English.

Sémiomaths

I co-organize the Sémiomaths seminar. Feel free to drop by or write us an e-mail!

New (and previously new)

• I gave a course on the essence of proofs at the Logic and Transdisciplinarity week at CIRM, February 10, 2022.

• Aurore Alcolei has started a post-doc, working with me and Alexis Saurin on the manifold links between ludics, game semantics and proof-nets.

• I co-organize the Scalp '21 days in Fontainebleau, November 3-5.

• I co-organize Hapoc '21, the 6th International Conference on the History and Philosophy of Computing, in Zürich, on October 27-29!

• I invited Maël Pégny to do a six-hours course on AI and Privacy for the masters' students in Law and Computer Science.

Previous positions

• During 2019-2020, I was a post-doc in the Parsifal team of Inria Paris-Saclay and LIX, École Polytechnique, collaborating with Gabriel Scherer.

• During 2019, I was a post-doc in the pôle Preuves Programmes et Systèmes of the IRIF, financed by the ANR project Rapido.

• During the austral 2018 academic year, I was a post-doc Pedeciba at the Logic Group of IMERL, Universidad de la República, in Montevideo, Uruguay. Legend has that I was the first uruguayan post-doc.

• In the fall 2017, I was an ATER (attaché temporaire d'enseignement et de recherche, a temporary research and teaching position) at the computer science department of ENS Lyon interacting with the plume team.

• Before that, from 2014-2017, I was a member of the Lo♥Ve team, at the LIPN, where I defended my PhD, prepared under the joint supervision of Damiano Mazza and Stefano Guerrini.