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.



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

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

IOHK | Prof. Grigore Rosu - Semantics Based Compilation - IELE Testnet

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

Webcast with Grigore Roșu, CEO of Runtime Verification

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

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 .