MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Eva Graversen
PhD Student
Publications

Eva Graversen is a PhD student working under the supervision of Professor Nobuko Yoshida and Dr Iain Phillips. She has a masters degree from Aalborg University, where she worked primarily on type inference for session types and generic type systems for psi-calculi. Her current research focuses on reversibility, session types, and event structures.

Publications

2017