Integration between the Takamaka language for smart contracts in Java and the blockchain Takamaka, with user documentation.

Starting date
June 16, 2020
Duration (months)
6
Departments
Computer Science
Managers or local contacts
Spoto Nicola Fausto

The goal of this research is to integrate the Takamaka language for programming smart contracts in Java with the blockchain Takamaka owned by the funder of the project. Documentation will be created as a tutorial.

Sponsors:

Ailia SA
Funds: assigned and managed by the department

Project participants

Nicola Fausto Spoto
Associate Professor
Research areas involved in the project
Ingegneria del Software e verifica formale
Software organization and properties

Activities

Research facilities

Share