Difference between revisions of "Videos/IOHK"

From Cardano Wiki
Jump to navigation Jump to search
(Breaking Videos page down to individual pages by category)
(No difference)

Revision as of 12:31, 28 May 2018

There're transcripts and/or summaries available for some videos.

You can find links to them either next to the video itself, or on special Transcripts & summaries page.

IOHK | Philipp Kant, Director of Formal Methods (23 May 2018)

Philipp Kant is Director of Formal Methods at IOHK. In this video, he explains what formal methods are and why they are important to designing and building cryptocurrencies.

IOHK | PoS Delegation, Lars Brünjes, Director of education (14 May 2018)

IOHK | PMO Project Goguen April 2018 update

IOHK | Professor Aggelos Kiayias, Ouroboros Genesis: A Provably Secure Proof-of-Stake Blockchain Protocol

IOHK | Runtime Verification; Prof. Grigore Roșu CEO

IOHK | Prof. Philip Wadler, Smart Contracts

IOHK | Prof. Elias Koutsoupias, Why game theory?

Shelley Update March 2018

Dr. Peter Gaži presenting Ouroboros at MIT

Domen Kožar, Nix workshop