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.
- 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 reponsible 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.
- April 2022: I will be giving a talk in the Logics and Semantics group at University Of Tallin on the 26th of May ‘22 about
- March 2022: On the 16th of May I will be giving a talk at the School of Computing of University of Kent about
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.
See full list of publications here.
Modular Relaxed Dependencies (MRD) is a prospective model of C++ concurrency (first appeared in ESOP ‘20’) which is being considered for the next ISO standard of C++.
- Link to the draft here
- Link to the WG21 discussion here
- The WG21 group page : https://isocpp.org/wiki/faq/wg21
I contribute to nCatLab by maintaining the following pages