Stephen founded Harmony that scales and verifies smart contracts. He holds PhD in security protocols, formal methods, language design. Stephen worked at Microsoft Research, Google and Apple where he built global-scale systems for personalized search. At Harmony he is building a decentralized AI marketplaces with millions tx/sec, an open consensus platform must scale end-to-end from protocols, systems to smart contract verification. They focus on integrating the latest research to production with 100k nodes.