My corner on the internet

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

At the fall 2014, I started a PhD 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

Preprints

Publications

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)