His current research interests are about applying formal methods - mainly Category Theory - to the study of crypto, economic modelling and MEV.
His current research interests are about applying formal methods - mainly Category Theory - to the study of crypto, economic modelling and MEV.