Videos

We’ve been asked many questions. This page has a few of the answers. If you would like to interview people on our Team, please use the form below.



CPH FinTech Week 2019 Keynote | Formal Design, Implementation and Verification of Blockchain Languages

CPH FinTech Week 2019 Panel | From Blockchain Infrastructure to Decentralised Applications

Prof. Grigore Rosu | IEEE ICBC Seoul 2019 Keynote

Prof. Grigore Rosu | Inspirations Behind The K framework

Microsoft Research 2019 | Prof. Grigore Rosu - CEO of Runtime Verification

Microsoft Research 2016 | Prof. Grigore Rosu - CEO of Runtime Verification

IOHK | Formal Design, Implementation and Verification | Prof. Grigore Rosu - CEO of Runtime Verification

IOHK | K framework and Cardano | Prof. Grigore Rosu - CEO of Runtime Verification

IOHK | Semantics Based Compilation - IELE Testnet | Prof. Grigore Rosu - CEO of Runtime Verification

IOHK | Runtime Verification | Prof. Grigore Rosu - CEO of Runtime Verification

Webcast with Prof. Grigore Rosu - CEO of Runtime Verification

Webcast: The K framework - a framework to formally define all programming languages

IOHK | KEVM Presentation | Everett Hildenbrandt - Formal Modelling Engineer at Runtime Verification

An introduction to K Lab (developed by DappHub) | Everett Hildenbrandt - Formal Modelling Engineer at Runtime Verification

What is IELE? | Grigore Rosu - CEO Runtime Verification Inc.

What is KEVM? | Grigore Rosu - CEO Runtime Verification Inc.

K for KEVM and IELE | Grigore Rosu - CEO Runtime Verification Inc.

KEVM and IELE performance | Grigore Rosu - CEO Runtime Verification Inc.

Writing and reading IELE programs | Grigore Rosu - CEO Runtime Verification Inc.

Supported features in the Solidity to IELE compiler | Grigore Rosu - CEO Runtime Verification Inc.

Secure code on Solidity to IELE compiler | Grigore Rosu - CEO Runtime Verification Inc.

The role of KEVM and IELE testnets | Grigore Rosu - CEO Runtime Verification Inc.



Let’s Get Started

Interested in interviewing anyone on our Team, or booking them for speaking engagements? Please complete the form below. If you prefer email, send your request to .