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."

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:

Research

Thesis

You can also find the slides of the defense.

Journal papers

Conference papers

Pre-prints

Talks

Internships

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)