Projects

Physics as a Formal Compositional Language

I’m exploring a long-term project to treat physics as a formal computational language rather than just a collection of formulas. The idea is to build a small, typed framework where states, fields, symmetries, and other concepts are expressed as composable structures rather than ad-hoc code.

The emphasis is on making the concepts and relationships in the theory explicit enough that they can be tightly connected to formal semantics and machine-checked reasoning, so that physical models don’t just simply run numerically but can also be inspected, verified, and systematically extended.

Roman & West-Latin Fairy Tales Book

A fairy-tale collection that treats Rome and the medieval Latin West the way the Brothers Grimm treated German folklore. The plan is to assemble, typeset and illustrate Roman stories and later tales from West-Romance traditions, with the Roman material as the backbone of the book.
Wherever possible, I would like the stories to appear mainly in a clear modern language (most likely English first, then other modern languages later on) with the original Latin in small-print under it, so they can be read as living stories but also as a way to stay in touch with the original textual record.

RISC-V as a Personal Toy Project

I am playing with open RISC-V hardware, using Gentoo and tuning the Linux kernel for RISC-V . The goal is to carefully optimize and design a modern desktop OS environment from the ground up for such chips. I am curious how much we can optimize those chips for concurrency, energy efficiency and a bloatless modern system.

Knot/Chord Post-Quantum Cryptography

I’m exploring how knot-based cryptography and chord-like structures can be combined with modern zero-knowledge techniques for Post-Quantum Cryptography. The idea is to treat knots, chords, and related structures as objects in cryptographic primitives, and then design protocols where their properties can be proven in zero-knowledge in a secure way, without revealing the underlying structure itself. Most of current Post-Quantum Cryptography is Lattice-based, exploring different problems should be benefitial in the long-term.