Formal Verification, Innovation and Consensus with Zarko Milosevic

This episode of the #citizenweb3 podcast features Zarko Milosevic from Informal Systems, a core developer of the Cosmos Network.

Informal Systems makes formal verification technology more accessible by developing tools and processes to improve the quality and experience of software engineering.

We spoke to Zarko Milosevic about Informal Systems and:

• The evolution of Zarko Milosevic


• The growth of Informal


• Zarko’s personal values and goals


• Informal’s vision of the three pillars of society


• Leading by example in Cosmos governance


• Progress in verification tools


• Quint


• Working in Cosmos


• How the correct development tools can revolutionize the Crypto Space


• Consensus Engine stewardship


• Innovation on all levels


• Examples of new Use Cases that Zarko envisages


• Issues with scalability with the consensus engine

If you like what we do at Citizen Web3:

• Stake with Citizen Web3 validator


• Listen to the YouTube version


• Follow us on Twitter


• Sign up to the RSS feed

Special Guest: Zarko Milosevic.

Links:

• ABCI (Application Blockchain Interface)
• Apalache
• Anoma
• Bostrom
• Bullshark
• Chris Goes
• Cofi
• Cosmos
• CosmWasm
• Dan Edlebeck
• Ethan Buchman
• IBC
• ICF Interchain Foundation
• Informal Systems
• Fernando Perdone
• Jae Kwon
• Quint
• Rust
• Scala
• Stride
• Tendermint
• TLA+