Greg Meredith has supported his math habit by working in computing. He was the principal architect of Microsoft’s BizTalk’s Process Orchestration offering and took on the burden of contributing to the early WSDL spec to keep it from being more of a train wreck than it is. He also worked on Microsoft’s super secret BigTop project, working on an OS and Programming Language pair, based on process calculi. Prior to that he was one of the core members of the Carnot Team at the first industrial research consortium, the now defunct MCC. There he worked with Christine Tomlinson on Rosette/ESS, a fully reflective actor-based programming language with a high performance execution engine.
More recently, Greg has been working in the blockchain space, as Chief Science Officer for Synereo, Chief Technology Officer for LivelyGig, and also helping Ethereum with formal verification of their proof-of-stake protocol, Casper. All of these efforts center around or involve a tech stack that Greg developed, called SpecialK/KVDB, which provides a distributed, decentralized implementation of the applied π-calculus.