# 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

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.

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