Bas Spitters: Smart Contracts and Formal Verification for the Blockchain
Aarhus Universitet
In the Concordium Blockchain Research Center we investigate the design of smart contract languages, the specification of smart contracts and their formal verification. I will present this work in the context of our bigger effort to provide basic research for the blockchain.
The talk was given at Aarhus University Digital Innovation Festival 2019. The festival celebrates digital innovation among students, researchers and the industry by gathering a variety of events into a single week. https://www.digitalinnovationfestival.dk