MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Dr Marco Giunti
Research Associate
Publications

I am a RA at the University of Oxford, I work on algorithmic multiparty session types. In the last years, I have been working at NOVA LINCS on object calculi and (replicated) concurrency control, on typestates in Java, on mechanisation of object and process calculi, and on compilation of type-inferred secret processes in Go. In the past, I extensively studied the pi calculus, binary session types, and language-based security.

Publications

2025