Dr Martin Vassor (he/him)
Research Associate
I was a RA at the University of Oxford. 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. From September 2024, I’ll be a “maître de conférences” (lecturer) at Mines Nancy and Loria, in the Mosel/Veridis team.
Publications
2025
-
: Encoding Choice and Replication in roll-π. RC 2025 .