Simon Castellan

I’m a researcher in theoretical computer science, interested in logic and semantics of programming languages. Since January 2019, I am a researcher at Inria Rennes-Bretagne-Atlantique (CR), the team Celtique. Before that, from August 2017, I was a research associate (postdoc) with Nobuko Yoshida in the Mobility Reading Group. And, 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

Research Software

Papers

International conferences

Journal papers

Thesis

National conferences

Talks

Internships

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)