Training and Research

PhD Programme Courses/classes

Non monotonic reasoning

Credits: 3

Language: English

Teacher:  Matteo Cristani

Sustainable Embodied Mechanical Intelligence

Credits: 3

Language: English

Teacher:  Giovanni Gerardo Muscolo

Brain Computer Interfaces

Credits: 3

Language: English

Teacher:  Silvia Francesca Storti

A practical interdisciplinary PhD course on exploratory data analysis

Credits: 4

Language: English

Teacher:  Prof. Vincenzo Bonnici (Università di Parma)

Multimodal Learning and Applications

Credits: 5

Language: English

Teacher:  Cigdem Beyan

Introduction to Blockchain

Credits: 3

Language: English

Teacher:  Sara Migliorini

Autonomous Agents and Multi-Agent Systems

Credits: 5

Language: English

Teacher:  Alessandro Farinelli

Cyber-physical systems security

Credits: 3

Language: English/Italian

Teacher:  Massimo Merro

Foundations of quantum languages

Credits: 3

Language: English

Teacher:  Margherita Zorzi

Advanced Data Structures for Textual Data

Credits: 3

Language: English

Teacher:  Zsuzsanna Liptak

AI and explainable models

Credits: 5

Language: English

Teacher:  Gloria Menegaz, Lorenza Brusini

Automated Software Testing

Credits: 4

Language: English

Teacher:  Mariano Ceccato

Elements of Machine Teaching: Theory and Appl.

Credits: 3

Language: English

Teacher:  Ferdinando Cicalese

Introduction to Quantum Machine Learning

Credits: 4

Language: English

Teacher:  Alessandra Di Pierro

Laboratory of quantum information in classical wave-optics analogy

Credits: 3

Language: English

Teacher:  Claudia Daffara

Credits

3

Language

English

Class attendance

Free Choice

Location

VERONA

Learning objectives

Acquire basic knowledge about the blockchain technology, consensus algorithms, smart contracts and NFTs.

Prerequisites and basic notions

Knowledge acquired in a master's degree program in the mathematical-computer science area.

Program

The course introduces blockchain technology and its main applications. More specifically, it covers the following arguments:
* Introduction and history of the blockchain technology
* The Bitcoin blockchain
** What is a Bitcoin transaction and what is its life-cycle.
** Construction of a block of transactions.
** How to validate a block: Proof-of-Work (PoW) consensus mechanism.
* The Ethereum blockchain and smart contracts.
** The Ethereum Virtual Machine (EVM)
** Smart contracts in Solidity
** What is a Proof-of-Stake (PoS) consensus mechanism and what are the differences with respect to PoW.
* Non-Fungible Tokens (NFT)
* Application of blockchain technology for ensuring immutability and traceability

Didactic methods

Thursday 20 June 3 hours from 2.30pm to 5.30pm
Thursday 27 June 3 hours from 2.30pm to 5.30pm
Thursday 4 July 3 hours from 2.30pm to 5.30pm
Thursday 11 July 3 hours from 2.30pm to 5:30

Zoom link for the lessons:
https://univr.zoom.us/j/93708855263

Learning assessment procedures

Final project describing a possible application of blockchain technology in a specific research field.

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Assessment

Learning the basic notions of blockchain technology and its potentiality in various research fields.

Criteria for the composition of the final grade

There is no final grade

Scheduled Lessons

When Classroom Teacher topics
Thursday 20 June 2024
14:30 - 17:30
Duration: 3:00 AM
Aula virtuale - Lezione online Sara Migliorini Introduction to the course. Bitcoin and its blockchain: transaction, block, validation, mining.
Thursday 27 June 2024
14:30 - 17:30
Duration: 3:00 AM
Aula virtuale - Lezione online Sara Migliorini Ethereum blockchain and smart contracts.
Thursday 04 July 2024
14:30 - 17:30
Duration: 3:00 AM
Aula virtuale - Lezione online Sara Migliorini Solidity language and common vulnerabilities in smart contracts.
Thursday 11 July 2024
14:30 - 17:30
Duration: 3:00 AM
Aula virtuale - Lezione online Sara Migliorini Consensum algorithms (PoW and PoS). Non-Fungible Tokens (NFT). Ethereum Layer 2 Solutions.