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.