I

Informal Systems

51 employees

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

Investor insights

Sectors invested in

Cryptocurrency1
Infrastructure1
Software1

Funding rounds participated in

$6.5M sweet spot round size

Most of their 1 investments are in rounds between $6.5M and $6.5M

Basic info

Industry

software development

Sectors

formal verification
blockchain
Blockchain
distributed systems
Software
security audits
software engineering
Information Technology

Date founded

2019

Investments made

S

Skip raised $6.5M on September 22, 2022

Investors: Faction VC, Galaxy Venture Capital (GVC), Jump Crypto, IEX, Bain Capital Crypto, Lightspeed Venture Partners and Informal Systems

FAQ