MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Martin Vassor
Research Associate
Publications

I am a RA in the Department of Computing at Imperial College London. Before coming to Imperial, I did my PhD in the SPADES team at Inria Grenoble, France. My research interests include: component based systems, concurrency theory, type systems and reversibility of concurrent systems.

Publications

2022