Smiley face

I am Assistant Professor at the School of Computing of University of Kent (U.K.).

Resaerch Area: Denotational Semantics of Programming Languages, Category Theory, Type Theory, Functional Programming, Guarded Recursion, Domain Theory, Recursion Schemes, Mathematical Logic.

Former Affiliations: Ph.D. student at ITU Copenhagen (Denmark) on Denotational Semantics in Synthetic Guarded Domain Theory (2012-2016). Visiting Ph.D. at Aarhus University the Logic and Semantics Group (2014-2015). Research Associate at University of Kent (2017-2020). Research Associate (RA) at Imperial College London in the Functional Programming group and Visiting Researcher at University of Kent (2020-2022). Senior Research Associate in the Granule Project (2022-2023).

I have an M.Sc. (cum laude) in Theoretical Computer Science and a B.Sc. in Computer Science from Università degli Studi di Udine (Italy).

PhD Vacancies

I am looking for a PhD student to work on category theory, type theory and functional programming.

Take a look at this page for more info.

If you’re interested please reach out to me!

News

  • June 2025: Accepted to ITP 25 with David Castro Perez and Michael Vollmer.

Publications

See full list of publications here.

nCatLab

I contribute to nCatLab by maintaining the following pages

Buy Me a Gift

If you fell like you want to buy me a gift here’s my Amazon’s wish list :)