Our mission is to bring verifiability to distributed systems and organizations.

Our Vision

Our vision is an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.

Our Work

Distributed software systems are the foundation for many critical systems in our society; financial services, transport, healthcare, cloud services, and more. Building and maintaining them is difficult, expensive, and error-prone. We’re applying state of the art techniques in formal verification to make distributed systems more verifiable by obtaining mathematical guarantees of correctness. We help teams verify and gain confidence in the systems they design, implement, and maintain.

Globally distributed organizations have become increasingly fundamental to business, though building and maintaining them is difficult, expensive, and error-prone. We’re applying open-source, plaintext, and version control philosophies to develop tools to better manage the complexities of human organizations. We help teams reduce their operating and administrative overhead, making their organizations more verifiable and compliant.

Verifiable

Informal is developing a Verification Driven Development framework to integrate formal verification techniques into the software development process, promoting greater confidence in system correctness. We’re developing an alternative model checker to the popular TLA+ specification language, called Apalache, that scales to larger systems and significantly reduces verification times.

Systems

Informal believes in the power and potential of blockchain technologies, like the Cosmos Network, to create more sustainable and democratic economies. We are a leading contributor to the Tendermint and Cosmos projects, currently focused on formally specifying and verifying protocols and implementing them in Rust.

Organizations

Informal is building a new kind of organization and tools for managing it. We’re cooperatively owned and governed by our employees. Our goal is to create a new model of technology company with long-term economic alignment for both employees and investors without targeting a singular exit event. We’re building tools to help developer-entrepreneurs manage their corporate state and processes like they manage their code, reducing barriers to entrepreneurship.

Our Values

Play

Approach the world with open curiosity

Think

Research, experiment, measure, validate

Dance

Balance planning and improvisation

Love

Psychological safety first

Serve

Help others help you, recursively

Own

Responsibility is for the taking

Challenge

Push boundaries, raise the bar