Past News
Past 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 hosting 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.
- September 2023: Riccardo Bianchini visits the Granule Project
- September 2023: Dr. Laura Titolo (NASA Formal Methods, Langley USA) visits the PLAS group.
- July 2023: I am co-supervising Victoria Vollmer together with Dominic Orchard. Her thesis focusses on multicategories for linear type theories.
- 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
semanticsandrecursion 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.