Au Concordium Blockchain Research Center, nous étudions la conception des langages de contrats intelligents, la spécification des contrats intelligents et leur vérification formelle. Je présenterai ce travail dans le cadre de notre effort plus large pour fournir une recherche fondamentale pour la blockchain.
La présentation a été donnée lors du Digital Innovation Festival 2019 de l'Université d'Aarhus. Le festival célèbre l'innovation numérique parmi les étudiants, les chercheurs et l'industrie en rassemblant une variété d'événements en une seule semaine.
https://www.digitalinnovationfestival.dkProfil de recherche de Bas Spitters :