Interested in security, incentives, markets.

Working on smart contracts and formal verification at Tacen.