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

  1. Duality in Domain Theory, Project Report 2024 [pdf]

Thesis

  1. Homotopy Theory of Computable Spaces, MSc thesis, Institute for Logic, Language & Computation (ILLC) 2024 [pdf] [slides]

Talks

  1. Spectrum of Monads for Computational Effects, Australian Category Seminar, 23 July 2025 [notes]
  2. Homotopy Theory of Computable Spaces, TallCat Seminar, 08 April 2025 [slides]
  3. Program Logics for Free, LaPRaS Seminar, 08 April 2025 [notes]
  4. Logic in Programming Language Semantics, ILLC Cool Logic Seminar, December 2023 [notes]

Recent Posts

… or you can find more in the archives.