Jonan Scheffler
Jonan Scheffler has worked in developer relations at Certora. He helps developers understand and use formal verification tools to identify smart contract bugs and strengthen the security of decentralized applications.
Jonan Scheffler has worked in developer relations at Certora. He helps developers understand and use formal verification tools to identify smart contract bugs and strengthen the security of decentralized applications.