Formal Verification, Innovation and Consensus with Zarko Milosevic
This episode of the #citizenweb3 podcast features Zarko Milosevic CTO at Informal Systems, a core developer of the Cosmos Network
January 26, 202354m 20s
Audio is streamed directly from the publisher (dts.podtrac.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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:
Topics
citizenweb3blockchaintendermintitcosmosweb3serejandmyselfpodcaststakingvalidatorscitizen cosmoscryptocryptocurrencyatomtechnologyhow to decentralize techzarko melosovicinformal systemsquintverification toolsquality and assurancetestinggovernancethree pillarsvisionrevolutionize cryptoconsensus engineabci++