Monoid GmbH

Formal methods for finance

Monoid GmbH applies formal methods to finance: we specify financial contracts formally and describe them unambiguously in domain-specific languages, enabling valuation and execution.

On top of financial contract specifications we build tools: key information documents for PRIIPs, and interactive builders for Swiss structured products.

Monoid GmbH is a Swiss registered company based in Zurich.

uid
CHE-169.043.758
founded
21 April 2021