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.
Papers
- Stone Duality for Monads - Richard Garner, Alyssa Renata, and Nicolas Wu (
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
| 2026 May 27-28th | Let's go to the MALL! | Imperial FP Group Meeting |
| [notes] | ||
| 2026 May 21st | Reasoning Statefully about Monads | UCL PPLV Seminar |
| 2026 March 29th | The Stone Spectrum of a Monad | PSSL112 |
| [slides] [recording available upon request] | ||
| 2026 March 9th | Stone Duality for Monads | Cambridge SANDWICH Seminar |
| 2025 December 12th | Stone Duality for Monads | Birmingham Theoretical CS Seminar |
| [slides] | ||
| 2025 July 23rd | Spectrum of Monads for Computational Effects | Australian Category Seminar |
| [notes] | ||
| 2025 April 8th | Homotopy Theory of Computable Spaces | TallCat Seminar |
| [slides] | ||
| 2025 February 13th | Program Logics for Free | LaPRaS Seminar |
| [notes] | ||
| 2023 December ??th | Logic in Programming Language Semantics | ILLC Cool Logic Seminar |
| [notes] | ||
Teaching
I am a teaching scholar at Imperial, which means I take on more teaching responsibilities than the average PhD student.
2025 - 2026
- Discrete Math, Logic & Reasoning - teaching assistant + developing Lean teaching tool.
- Models of Computation - teaching assistant
- Symbolic Reasoning - teaching assistant
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.