Author: Grigore Roșu
![New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fiohk_logo_a5d01aea3f.png&w=640&q=75)
New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)
by Grigore Roșu
October 25th, 2017![ASE 2001 paper that helped shape the Runtime Verification field got the Most Influential Paper Award](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
ASE 2001 paper that helped shape the Runtime Verification field got the Most Influential Paper Award
by Grigore Roșu
October 30th, 2016![RV Could Make Cars Safer - Article in UIUC's Click Magazine](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)