Master’s student in mathematics at Utrecht University (Logic Track), and chief software engineer/co-founder of metauni. I’m interested in productive high-level abstractions that allow you to keep your feet on the ground, both in programming and proofs.

Projects

• metaboard: Shared virtual blackboards in Roblox. I am the primary author and maintainer. These are the key instrument for delivering seminars in Roblox. Embedding information in a persistent, virtual space with metaboards is a powerful framework for collaboration and research, not possible with other shared whiteboards tools.
• metauniOS: monorepo for the modules that make up metauni. I designed the overall structure and module loading, and have made major contributions to the Orbcam, AdminCommands and Drone systems.

• Feather: A featherweight declarative instance manager for Roblox. Made to dramatically increase the memory efficiency of metaboard.

• Replay: Multi-channel recordings of speaker audio, writing on metaboards, and motion capture of a VR character. WIP, but some code can be found here

Foundations

I organise and host the Foundations seminar with Will Troiani on the nature of mathematical objects, logic and Gödel’s theorems at metauni.

Research

• Verified Fairness in Machine Learning
  • Supervised by Toby Murray, Ben Rubenstein, and Olya Ohrimenko
• Formalising an Intuitionistic Type Theory in Lean.
  • Supervised by Daniel Murfet and Toby Murray.
  • github
  • paper
• Visualisation of R-Cuts in Embedded Planar Graphs.
  • Supervised by Charl Ras
• FreeMagma: A Library of Universal Catalan Bijections
  • Supervised by Richard Brak.
  • Poster
  • github
• Algorithms for the GER Representation of Pos.
  • Supervised by Harald Søndergaard and Peter Schachte
  • paper
  • github