Formal Verification Researcher Capital Management. Prior to founding CryptoIco Mike worked in a number of senior management.