I am currently a postdoc researcher (RA) at Imperial College
London on the Scoped Contextual
Operations and Effects
project and Visiting Researcher at University of Kent. I was formerly an RA at University of Kent and a
Ph.D. student at IT University of Copenhagen.
Contacts : @
Thesis dissertation : Denotational Semantics in Synthetic Guarded
Keywords: semantics of programming languages,
mathematical logic, category theory and type theory.
M. Paviotti, S. Cooksey, A. Paradis, D. Wright, S. Owens and M. Batty. Modular Relaxed Dependencies in Weak Memory Concurrency. ESOP 2020.
M. Batty, S. Cooksey, S. Owens, A. Paradis, M. Paviotti and D. Wright. Modular Relaxed Dependencies: A new approach to the
Out-Of-Thin-Air Problem. C++ ISO Draft Proposal,
R.E. Møgelberg and M. Paviotti. Denotational semantics of recursive types in
Synthetic guarded domain theory. MSCS, 2019. (paper)
M. Paviotti and J. Bengtson. Formally Verifying Exceptions
for Low-level code with Separation Logic. JLAMP, 2018.