Informal Systems

Toronto, Canada

Informal Systems offer research and development at the intersection of formal verification and distributed systems.

Jun 2023

Convertible Note

Blockchain Information Technology Software

Top Investors

CMCC GlobalCMT DigitalMaven 11 CapitalNascentCerulean Ventures

Founder Contacts

19,000+ verified contacts

Get Instant Access

Emails, phones & LinkedIn profiles

Frequently Asked Questions about Informal Systems

Who are Informal Systems's investors?

Informal Systems's investors include CMCC Global, CMT Digital, Maven 11 Capital, Nascent, Cerulean Ventures.

Where is Informal Systems headquartered?

Informal Systems is headquartered in Toronto, Canada.

What does Informal Systems do?

Informal Systems offer research and development at the intersection of formal verification and distributed systems.

What stage is Informal Systems at?

Informal Systems is at the Convertible Note stage.

Cite this page

Free to use in articles, research, and reference works. Stable URL — will not change. Data on this page last updated June 7, 2023.

MLA

"Informal Systems — Funding & Investors." VCBacked, June 7, 2023, https://www.vcbacked.co/company/informal-systems. Accessed July 1, 2026.

APA

VCBacked. (2023). Informal Systems — Funding & Investors. Retrieved July 1, 2026, from https://www.vcbacked.co/company/informal-systems

Wikipedia (cite web)

{{cite web |title=Informal Systems — Funding & Investors |url=https://www.vcbacked.co/company/informal-systems |website=VCBacked |access-date=July 1, 2026}}

Profile data sourced and verified per the VCBacked methodology. Last funding round dated June 7, 2023.

Similar Companies in Blockchain