We do language design, distributed systems, formal methods, and blockchain.


—Let's build
correct systems.

Monic does software consulting and engineering with an emphasis on correctness. We got our start building financial systems designed to handle billions of dollars, where failure is very costly. 

Our world revolves around blockchain, fertile ground for work in distributed systems, language design, financial engineering, and formal methods.