Dr Simon Castellan
Research Associate
PublicationsI am a RA in the Department of Computing at Imperial College London. Previously, I was a PhD Student at ENS Lyon under the supervision of Pierre Clairambault and Olivier Laurent, working on true concurrent approaches to concurrent games semantics of programming languages. I am interested in semantics of concurrent programming languages, causal models, game semantics, type theory and their applications to static analysis of concurrent programs.
Publications
2019
-
: Causality in Linear Logic. FoSSaCS 2019 .
-
: Two Sides of the Same Coin: Session Types and Game Semantics. POPL 2019 .
2018
-
: Non Angelic Concurrent Game Semantics. FoSSaCS 2018 .
-
: The Concurrent Game Semantics of Probabilistic PCF. LICS 2018 .
2017
-
: Concurrent Structures in Game Semantics. The Concurrency Column, EATCS Bulletin .