En el Centro de Investigación de Blockchain de Concordium investigamos el diseño de lenguajes de contratos inteligentes, la especificación de contratos inteligentes y su verificación formal. Presentaré este trabajo en el contexto de nuestro esfuerzo más amplio por proporcionar investigación básica para la blockchain.
La charla se dio en el Festival de Innovación Digital de la Universidad de Aarhus 2019. El festival celebra la innovación digital entre estudiantes, investigadores y la industria al reunir una variedad de eventos en una sola semana.
https://www.digitalinnovationfestival.dkPerfil de investigación de Bas Spitters: