MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Dr Francisco Ferreira
Research Associate
Publications

I am an RA at Imperial College. My research interests are proof assistants, programming language theory and design, and reactive systems. Previously, I did a PhD at McGill University under the supervision of Brigitte Pientka. My PhD thesis is about using contextual types to simplify writing programs and proofs with potentially open terms. Currently, I am working on simplifying the mechanization of session based type systems.

Francisco is now a lecturer at Royal Holloway, University of London

Publications

2022
2021
2020