Engineering

The Engineering team at Informal Systems is responsible for developing and implementing cutting-edge software solutions that integrate formal verification with distributed systems. They design, code, test, and maintain critical software while ensuring security and reliability. The team collaborates on research initiatives, conducts security audits, and engages with the community to advance the field of distributed computing and verification.