Informal Systems

investment firm

About

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

Details

Industries
Blockchain,Information Technology,Software
Founded date
Jan 1, 2019
Operating Status
Active

Investments

Number of Investments
Number of Lead Investments
2
0
Informal Systems has made 2 investments. Their most recent investment was on Sep 22, 2022, when Skip raised $6.50M.
Date Company Name
Round Money Raised Industry Lead Investor
Sep 22, 2022 Skip
Seed $6.50M Cryptocurrency
Nov 22, 2021 Axelar
Series Unknown Blockchain

Employee Profiles

Number of Employee Profiles
1
Informal Systems has 1 current employee profiles, including Executive Ethan Buchman
Executive