Displaying 1 Episode of Citizen Web3 Podcast with the tag “zarko melosovic”.
-
Formal Verification, Innovation and Consensus with Zarko Milosevic
26 January 2023 | 54 mins 20 secs
quint, tendermint, zarko melosovic
This episode of the #citizenweb3 podcast features Zarko Milosevic CTO at Informal Systems, a core developer of the Cosmos Network