
Simon works with IOG on languages for distributed application development, including Marlowe and Plutus, as well as audit and certification for dApps. He is also a researcher and educator in function programming at the Universities of Kent and ELTE Budapest, and has published textbooks on Erlang, Haskell, and type theory.

