Using Haskell since 2015
You can ask me about full- or part-time employment
Living in New York, NY
Not Just Code. The Right Code.
Civic Labs is a software consulting company focused on building medical and financial applications. We specialize in provably correct software written in Haskell and Coq.