Michael George
Michael George has served as head of product at Certora. His work concerns formal verification of smart contracts, using specifications and automated reasoning to check contract behavior and produce concrete examples when a security property can be violated.