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 made 6 investments, with 1 in the past 12 months and 0% as lead.

Stage Focus

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

Country Focus

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

Industry Focus

Blockchain
Software
Information Technology
Open Source
Developer Apis
Network Security
Asset Management
Web Apps
Cryptocurrency
Infrastructure

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?

Cogitent Ventures

Europe, England, United Kingdom, London

Co-Investments: 1

Galileo

North America, California, United States, San Francisco

Co-Investments: 2

Robot Ventures

North America, New York, United States, New York

Co-Investments: 2

HashKey Capital

Asia, Hong Kong Island, Hong Kong, Hong Kong

Co-Investments: 1

Dispersion Capital

North America, California, United States, San Francisco

Co-Investments: 1

HFO

Co-Investments: 1

Chorus One

North America, Maryland, United States, Rockville

Co-Investments: 3

Forbole Ventures

Asia, Hong Kong Island, Hong Kong, Central and Western

Co-Investments: 1

Reverie

North America, New York, United States, New York

Co-Investments: 2

Lemniscap

North America, Midland, Cayman Islands, George Town

Co-Investments: 2

Which angels does Informal Systems often collaborate with?

Leland Lee

North America, California, United States, Los Altos

Shared Deals: 1

Ethan Beard

North America, California, United States, San Francisco

Shared Deals: 1

Zaki Manian

North America, California, United States, San Francisco

Shared Deals: 2

Kevin Lin

North America, California, United States, San Francisco

Shared Deals: 1

Nick White

North America, Maryland, United States, Crownsville

Shared Deals: 1

Jake Hartnell

North America, California, United States, Berkeley

Shared Deals: 1

0xMaki ‏‏‎ ‎‏‏‎ ‎ ‎‏‏‎ ‎

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

Informal Systems

Description

Investor Profile

Stage Focus

Country Focus

Industry Focus

Frequently Asked Questions

Who does Informal Systems frequently co-invest with?

Which angels does Informal Systems often collaborate with?

What are some of recent deals done by Informal Systems?

Ready to Raise Capital?

Pages

Free tools