Hello everyone. I take care of mathematically formalizing the ideas behind Statebox. I'm mainly working with category theory and some of its byproducts (open Petri nets, f-algebras, open games, …). My biggest task at the moment is writing the Statebox monograph, where all the specifications of our project are spelled out.

Other than that, I have a ton of hobbies that range from DIY to digital electronics to studying languages (especially the dead ones, as Hieroglyphs and Sumerian).

If you have any sort of research or theoretical-related question or just want to chat feel free to drop me an email at research@statebox.io.