Independent Software Developer
CurrentDevelopment and research in the area of computational law.Latest work:* (In development) JsonPi, a pi calculus based language as a service (LaaS) platform for formal, software defined contractual agreements.* FsDecider (https://github.com/glenbraun/FsDecider), a computation expression builder for AWS Simple Workflow Service (SWF). SWF is a polling based.