Smiley face

I am a Lecturer (Assistant Professor) 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

The school has regular funding for PhD students. Before applying you should take a look at the following pages:

News

  • February 2023: JFP Submission “Full Abstraction for Free” with Nick Wu.
  • January 2023: PhD scholarships available at the School of Computing
  • November 2022: I will be module convenor for COMP6630 – Programming Languages: Applications and Design which will start again in 2023.
  • November 2022: The WG21 group responsible for C++ ISO standard met last week in Kona (HI, USA) where another review of our weak memory model was discussed. The WG21 group approved it unanimously as the correct strategy to tackle the Out-of-thin-air (OOTA) problem.
  • October 2022: I accepted a Lectureship at University of Kent (U.K.) in the School of Computing
  • April 2022: I will be starting to work in the Granule Project at University of Kent together with Dr. Dominic Orchard from May 2022.
  • March 2022: On the 16th of May I will be giving a talk at the School of Computing of University of Kent about semantics and recursion schemes. Link here.
  • Jan 2022: Paper accepted at ESOP 22 on Effect handlers for scoped effects with Z. Yang, N. Wu, B. van den Berg and T. Schrijvers.

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 :)