Monic

We do language design, distributed systems,

and formal methods.

 
 

—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. 

We work in distributed systems, language design, financial engineering, and formal methods.

Connect

 
ryan-schroeder-328-unsplash.jpg