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.