Informal Systems logo

Informal Systems

North America, Ontario, Canada, Toronto

Description

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

Investor Profile

Informal Systems has backed more than 6 startups, with 1 new investments in the last 12 months alone. The firm has led 0 rounds, about 0% of its total and boasts 0 exits across its portfolio.

Investment Focus Highlights

  • Concentrates on Seed, Series A, Series C rounds (top funding stages).
  • Majority of deals are located in Switzerland, United States, Canada.
  • Strong thematic focus on Blockchain, Software, Information Technology.

Stage Focus

  • Seed (50%)
  • Series A (33%)
  • Series C (17%)

Country Focus

  • Switzerland (33%)
  • United States (33%)
  • Canada (33%)

Industry Focus

  • Blockchain
  • Software
  • Information Technology
  • Open Source
  • Cryptocurrency
  • Infrastructure
  • Developer Apis
  • Network Security
  • Asset Management
  • Web Apps
circle-line
FAQ

Frequently Asked Questions

Learn who this investor regularly partners with—both firms and angels—and explore their latest activity.

Who does Informal Systems frequently co-invest with?

2Shares
Europe, England, United Kingdom, London
Co-Investments: 1
Blockchain Coinvestors
North America, California, United States, Menlo Park
Co-Investments: 1
G
North America, California, United States, San Francisco
Co-Investments: 2
300 DAO
Europe, England, United Kingdom, London
Co-Investments: 1
Robot Ventures
North America, New York, United States, New York
Co-Investments: 2
Chorus One
North America, Maryland, United States, Rockville
Co-Investments: 3
Reverie
North America, New York, United States, New York
Co-Investments: 2
Bixin Ventures
Asia, Beijing, China, Beijing
Co-Investments: 1
Lemniscap
North America, Midland, Cayman Islands, George Town
Co-Investments: 2
Anagram
North America, Midland, Cayman Islands, Grand Cayman
Co-Investments: 1

Which angels does Informal Systems often collaborate with?

LL
North America, California, United States, Los Altos
Shared Deals: 1
EB
North America, California, United States, San Francisco
Shared Deals: 1
ZM
North America, California, United States, San Francisco
Shared Deals: 2
KL
North America, California, United States, San Francisco
Shared Deals: 1
NW
North America, Maryland, United States, Crownsville
Shared Deals: 1
JH
North America, California, United States, Berkeley
Shared Deals: 1
0‏
Asia, Seoul-t'ukpyolsi, South Korea, Seoul
Shared Deals: 1

What are some of recent deals done by Informal Systems?

Noble XYZ

Toronto, Ontario, Canada

Noble XYZ is an asset issuance appchain that seeks to communicate and exchange assets directly with each other by blockchain communication.

Asset ManagementBlockchainWeb Apps
Series ANov 19, 2024
Amount Raised: $15,000,000
Range Labs

Cham, Zug, Switzerland

Range is a blockchain and rollups security platform with the purpose of developing a security and risk infrastructure stack.

Blockchain
SeedMar 14, 2024
Amount Raised: $2,700,000
Cosmology

Berkeley, California, United States

Cosmology is building a unified developer experience for interchain dApps

SeedMar 7, 2024
Amount Raised: $5,000,000
Anoma

Zug, Zug, Switzerland

An intent-centric, privacy-preserving protocol for decentralized counterparty discovery, solving, and multi-chain atomic settlement.

BlockchainInformation TechnologyOpen Source
Series CMay 31, 2023
Amount Raised: $25,000,000
Skip

Long Island City, New York, United States

Skip is a infrastructure to enable blockchains to harness MEV to achieve financial sustainability and power better user experiences.

CryptocurrencyInfrastructureSoftware
SeedSep 22, 2022
Amount Raised: $6,500,000
Axelar Network

Waterloo, Ontario, Canada

Axelar is a decentralized communication tool that connects blockchain ecosystems, applications, and assets.

BlockchainDeveloper APIsNetwork SecuritySoftware
Series ANov 22, 2021