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

Papers

International conferences

National conferences

Journal papers

Submitted journal papers

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)