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

… or you can find more in the archives.