IOHK | Prof. Grigore Rosu - Semantics Based Compilation - IELE Testnet
Channel: Input Output
Date: 2018-07-26

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, discusses semantics based compilation and explains the benefits that adopting this approach will bring to Cardano smart contracts, in terms of improved performance, greater reliability and opening the door to the use of more programming languages.

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/