IOHK | Prof. Grigore Rosu - CEO of Runtime Verification | K framework and Cardano
Channel: Input Output
Date: 30/07/2018

http://testnet.iohkdev.io/

In this video, Grigore Rosu, a professor in computer science at the University of Illinois at Urbana-Champaign, and CEO of his startup Runtime Verification, describes the process and research that he had been working with IOHK since June 2017 to develop new technology based on formal semantics for Cardano, including a new virtual machine. 

K framework, developed by Grigore and his start-up Runtime Verification, has been developed over the past 15 years and is used in mission-critical software that cannot afford to fail.  To this end, Runtime Verification has worked with companies including NASA, Boeing and Toyota and many others.  His collaboration with IOHK began after he was contacted by CEO Charles Hoskinson, who had spotted that the software vulnerabilities that had resulted in a number of hacks on blockchains and the draining of hundreds of millions of dollars, could have been prevented using the formal methods techniques developed by Grigore and his team.

The K framework was used to formally model the semantics of the Ethereum Virtual Machine, and the knowledge gained from this process was employed to design IELE, the virtual machine for Cardano that will be released in a test format in a few weeks’ time. This is the first time this technology has been deployed within the blockchain industry. Importantly, K is a means to formally verify the code of smart contracts, so they can be automatically checked for the types of flaws that have led to catastrophic financial loss, and must be avoided at all costs.

https://runtimeverification.com/team/

https://www.cardano.org/en/home/

--

See more at: https://iohk.io    

Get our latest news updates: https://iohk.io/blog/

Meet the team: https://iohk.io/team/

Learn about our projects: https://iohk.io/projects/

Visit our library: https://iohk.io/research/library/

In the press: https://iohk.io/press/

Work with us: https://iohk.io/careers/