My corner on the internet

Welcome on my corner of the internet. I’m a researcher in theoretical computer science, interested in logic and semantics of programming languages. You can find here the few things I’ve written.

Since August 2017, I am a research associate (postdoc) with Nobuko Yoshida in the Mobility Reading Group. Before that, I was a PhD student under the supervision of Olivier Laurent and Pierre Clairambault on the topic “Concurrent structures in game semantics.”

Research

Thesis

Journal papers

Conference papers

Pre-prints

Talks

Internships

Software

Software (mostly in OCaml, my language of choice) I’ve been working on recently:

Teaching

Here are documents about my teaching, sorted by years:

About

Pages of a few friends: Vincent Cohen-Addad, Lucca Hirschi, Jean-Florent Raymond, Thomas Sibut-Pinote, Jean-Marie Madiot, Pierre-Marie Pédrot.


Simon Castellan (simon at phis.me)