Hi, i am from hamburg, germany

[werkof]

Hallo und willkommen.
Wusstest du, dass es in Hamburg bereits Vorträge von Philipp Kant und Lars Brünjes gegeben hat, auf dem Blockchain Mania events?

Summary: PoS Delegation & Incentives (Lars Brunjes)

Dr Lars Brünjes, Director of Education at IOHK, was recently in Hamburg at a Blockchain Mania meetup where he gave a technical talk on incentives of Cardano. You will find a summary of this talk below. Though he is involved in IOHK’s education efforts such as Haskell courses and internal/external training. He is also leading the ‘incentives’ workstream in Cardano, working alongside Professor Kiayias, Professor Koutsoupias and Aikaterini. Details on IOHK’s team members can be found here. What …

Und

Philipp Kant from IOHK talks about Formal Methods

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 has adopted formal methods in its development process to create software that is robust and reliable. Philipp explains how research papers are transcribed into an executable specification, and the further steps that refine this specification. His talk was part of an IOHK technical presentation on Cardano given in Hamb…