I am a programmer at Higher Order Company, an enthusiast of functional programming and decentralized technologies.

I am Matteo's father, a reformed theologian & autodidact, I am writing a book about Kind and formal proofs, I am a lover of open-source philosophy, a nerd, handsome, non-practicing vegan, and a coffee enthusiast.

Visit my blog to see a bit about formal proofs, technology, and other things I like or find useful.