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.