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), in 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.”

Contact: simon (at) phis (dot) me

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.