Hello!
I'm a PhD student at Imperial College London in the Functional Programming (FP) group, under the supervision of Dr. Nicolas Wu. Previously I did my in Msc in logic & mathematics at the ILLC, Amsterdam, and my BEng in computing at Imperial as well.
My research is currently focused on developing a geometric perspective on algebraic theories/monads via comodels, with downstream applications towards computational effects. More broadly, I am interested in category theory as applied to program semantics and reasoning.
My email is alyssa[dot]renata19[at]imperial[dot]ac[dot]uk.
Unpublished Writings
- Duality in Domain Theory, Project Report 2024 [pdf]
Thesis
- Homotopy Theory of Computable Spaces, MSc thesis, Institute for Logic, Language & Computation (ILLC) 2024 [pdf] [slides]
Talks
- Spectrum of Monads for Computational Effects, Australian Category Seminar, 23 July 2025 [notes]
- Homotopy Theory of Computable Spaces, TallCat Seminar, 08 April 2025 [slides]
- Program Logics for Free, LaPRaS Seminar, 08 April 2025 [notes]
- Logic in Programming Language Semantics, ILLC Cool Logic Seminar, December 2023 [notes]
Teaching
I am a teaching scholar at Imperial, which means I take on more teaching responsibilities than the average PhD student.
2024 - 2025
- Discrete Math, Logic & Reasoning - teaching assistant
- Models of Computation - teaching assistant
- Symbolic Reasoning - teaching assistant
Recent Posts
- Type Inhabitation in Template Haskell - December 24, 2021
- A simple lesson from Skolem's "paradox" - July 2, 2021
- Primitive Recursion in Haskell - January 10, 2021
- Learning Scala from a Haskell perspective - January 3, 2021
- Setting up this blog using Hakyll - December 15, 2020
… or you can find more in the archives.