Correctlycoded Inc

We're a consulting/software development company that seeks to marry best of business and academia practices together into a cohesive discipline, that can be applied in any software development company that struggles to meet their deadlines or quality criteria. Our methodology vanquishes most of software development problems we've experienced over and over in our careers, and restore the joy of developing software. Our Way is an umbrella of four paths- design using set/graph/category theory - strong focus on composablity - Curry-Howard isomorphism - automated property testing Last, unwritten and most important foundation: we adopt an understanding that we solve problems through thinking, not typing.