No Centro de Pesquisa da Blockchain Concordium, investigamos o design de linguagens de contratos inteligentes, a especificação de contratos inteligentes e sua verificação formal. Apresentarei este trabalho no contexto de nosso esforço maior para fornecer pesquisa básica para a blockchain.
A palestra foi realizada no Festival de Inovação Digital da Universidade de Aarhus 2019. O festival celebra a inovação digital entre estudantes, pesquisadores e a indústria, reunindo uma variedade de eventos em uma única semana.
https://www.digitalinnovationfestival.dkPerfil de pesquisa de Bas Spitters: