Blog > 2021 > May

Runtime Verification & IELE – from interoperability to universality

KEVM and IELE will bring unparalleled levels of security, scalability and programmability to Cardano

10 May 2021 Alex Hamilton 4 mins read

 Runtime Verification & IELE – from interoperability to universality

Professor Grigore Rosu, President and CEO of start-up Runtime Verification (RV) joined us on March's edition of the Cardano360 show to share ideas and discuss the collaboration between RV and IOHK.

Our professional relationship with Grigore and RV started back in 2017, and Grigore’s credentials speak for themselves (in any language). He’s worked for NASA, DARPA, Microsoft, and…

1

2