Marco Paviotti


Short biography

I am currently a postdoc researcher (RA) at Imperial College London on the Scoped Contextual Operations and Effects project.
I was formerly an RA at University of Kent and a Ph.D. student at IT University of Copenhagen.

Thesis dissertation : Denotational Semantics in Synthetic Guarded Domain Theory

Keywords: semantics of programming languages, mathematical logic, category theory and type theory.