Smiley face

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

Previously, I was a Senior Research Associate (senior postdoc) working in the Granule Project. From 2020 to 2022, I have been a Research Associate (RA) and Assistant Supervisor at Imperial College London in the Functional Programming group and Visiting Researcher at University of Kent. From 2017 and 2020 I have been an RA at University of Kent working Weak Memory Concurrency.

I did my Ph.D. at ITU Copenhagen (Denmark) in 2016 on Denotational Semantics in Synthetic Guarded Domain Theory. I also spent six months of my Ph.D. at Aarhus University within the Logic and Semantics Group.

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

I am interested in semantics of programming languages, functional programming, recursion schemes, category theory, mathematical logic and type theory.

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

  • October 2024: Submission to ESOP 25 with David Castro Perez and Michael Vollmer.
  • July 2024: I am organising SREPLS15 and The Concurrency Workshop in Kent which will happen on the 18/19 of July. Invited Speakers are Nick Wu (Imperial College London) and Peter O’Hearn (UCL)
  • April 2024: The notes for the Kent Category Theory Seminars are now online.
  • April 2024: I am please to announce that Kent will be hosing SREPLS and the Concurrency Workshop on the 18th and 19th of July. Please visit the website for more info. Call for Talks can be found here.
  • March 2024: Submission to ITP 24 on Mechanising Recursion Schemes 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 :)