Developer at KoBa Labs.

Working on reproducible verification for Proof-of-Stake systems (NeuroPoS).