# Hello!

I'm an aspiring (mathematical | computational | ???) logician at the ILLC in Amsterdam. Here's some stuff I'm interested with, in no particular order:

- Modal Logic
- Type Theory
- Programming Language Theory
- Staged Metaprogramming
- Foundations of Mathematics
- Philosophy of Logic & Mathematics
- Formal Theorem Proving (Lean & Agda)
- Neuro-symbolic AI+ML (not anymore though)
- Eating, but not cooking, Japanese Curry

My master's thesis on the "Homotopy Theory of Computable Spaces", specifically on equilogical spaces and QCB spaces, can be found here, as well as the slides of the thesis defense.

I did my bachelors in Computing at Imperial College London. You can find my bachelor's thesis here - its about the connection between staged metaprogramming and modal provability logic. Warning: it is very messy.

My email is alyssa[dot]renata19[at]imperial[dot]ac[dot]uk.

## 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.