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, state management, workflow system where decider nodes react to workflow events. FsDecider makes it possible to express business logic across these events as one logical execution flow, similar to Async workflows.