Yoichi Hirai is Formal Verification of Ethereum Contracts.
With over 70+ ecosystems actively growing, they are equally deserving of your attention.
