Hi,

In school I devoted a good chunk of my time to the Isabelle theorem prover. All that work is rather foundational, with some kernel dieting (📃, 📽️) and the formalization (📃, 📽️) of the metalogic Pure. Not so recently, I've dabbled in parallel numerics (📃, 📽️).

If you want to get in touch, your best bet is to email me.

Fabio