π-calculus, Session Types research at Imperial College

Dr Simon Castellan
Research Associate

I 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.