Studying at the University of Verona

Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.

Type D and Type F activities

A.A. 2025/2026 A.A. 2024/2025 A.A. 2023/2024 A.A. 2022/2023 A.A. 2021/2022 A.A. 2020/2021 A.A. 2019/2020 A.A. 2018/2019 A.A. 2017/2018 A.A. 2016/2017 A.A. 2015/2016 A.A. 2014/2015 A.A. 2013/2014 A.A. 2012/2013 A.A. 2011/2012 A.A. 2010/2011 A.A. 2009/2010

This information is intended exclusively for students already enrolled in this course.
If you are a new student interested in enrolling, you can find information about the course of study on the course page:

Laurea in Bioinformatica - Enrollment from 2025/2026

Le attività formative di tipologia D sono a scelta dello studente, quelle di tipologia F sono ulteriori conoscenze utili all’inserimento nel mondo del lavoro (tirocini, competenze trasversali, project works, ecc.). In base al regolamento didattico del corso, alcune attività possono essere scelte e inserite autonomamente a libretto, altre devono essere approvate da apposita commissione per verificarne la coerenza con il piano di studio. 

Per eventuali limitazioni si rimanda agli articoli relativi  alle ATTIVITÀ A SCELTA  e  ATTIVITÀ FORMATIVE TRASVERSALI (F), STAGE, TIROCINI, ALTRO e del regolamento didattico del cds.

I crediti D / F possono essere acquisiti principalmente con attività didattiche nelle seguenti 4 tipologie:

1. Attività specifiche per il corso di laurea automaticamente inseribili a libretto.

2. Insegnamenti del catalogo generale di ateneo.

3. Lingue – incluso l’italiano per stranieri.

4. Competenze trasversali – TALC.

Per il punto 1 si veda in fondo alla pagina; per i punti 2-3-4 si rimanda al servizio specifico.

 

 

 

Attività specifiche per il corso di laurea automaticamente inseribili a libretto nell'a.a. 2025/26

 

1st semester From 10/1/25 To 1/30/26
years Modules TAF Teacher
2° 3° Elements of Cosmology and General Relativity D Claudia Daffara (Coordinator)
2° 3° Introduction to quantum mechanics for quantum computing D Claudia Daffara (Coordinator)
2° 3° Introduction to smart contract programming for ethereum D Sara Migliorini (Coordinator)
2° 3° BEYOND ARDUINO: FROM PROTOTYPE TO PRODUCT WITH STM MICROCONTROLLER D Franco Fummi (Coordinator)
2° 3° APP REACT PLANNING D Graziano Pravadelli (Coordinator)
2° 3° HW components design on FPGA D Franco Fummi (Coordinator)
2nd semester From 3/2/26 To 6/12/26
years Modules TAF Teacher
2° 3° Digitalization of the green and agro economy D Davide Quaglia (Coordinator)
2° 3° LaTeX Language D Enrico Gregorio (Coordinator)
2° 3° Rapid prototyping on Arduino D Franco Fummi (Coordinator)
2° 3° Tools for development of applications of virtual reality and mixed D Andrea Giachetti (Coordinator)
List of courses with unassigned period
years Modules TAF Teacher
2° 3° French B1 level D Not yet assigned
2° 3° French B2 level D Not yet assigned
2° 3° French C1 level D Not yet assigned
2° 3° French C2 level D Not yet assigned
2° 3° English C1 level D Not yet assigned
2° 3° English C2 level D Not yet assigned
2° 3° Spanish A2 level D Not yet assigned
2° 3° Spanish B1 level D Not yet assigned
2° 3° Spanish B2 level D Not yet assigned
2° 3° Spanish C1 level D Not yet assigned
2° 3° Spanish C2 level D Not yet assigned
2° 3° German A2 level D Not yet assigned
2° 3° German B1 level D Not yet assigned
2° 3° German B2 level D Not yet assigned
2° 3° German C1 level D Not yet assigned
2° 3° German C2 level D Not yet assigned

Introduction to smart contract programming for ethereum   (2024/2025)

Teaching code

4S012257

Teacher

Sara Migliorini

Coordinator

Sara Migliorini

Credits

3

Also offered in courses:

Language

Italian

Scientific Disciplinary Sector (SSD)

NN - -

Period

Semester 1 dal Oct 1, 2024 al Jan 31, 2025.

Erasmus students

Not available

Courses Single

Not Authorized

Lessons timetable MoodleMoodle Seminars 0

Learning objectives

The course aims to provide the principles for programming smart contracts for the Ethereum blockchain using the Solidity language. In particular, the presentation of the Ethereum blockchain protocol and the technology stack necessary for programming smart contracts, the basics of the Solidity language and programming best practices.

Prerequisites and basic notions

Knowledge of a programming language and basic programming techniques.

Program

* The Ethereum blockchain.
* The Solidity language.
* Introduction to programming smart contracts in Solidity.
* Using tools: Remix, Hardhat, Metamask and the Ethereum testnet.

Bibliography

Vai alla bibliografia
Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Didactic methods

Classroom lessons through the use of material provided by the teacher and made available via the eLearning platform.

Learning assessment procedures

The exam consists of a project to be carried out in a group or individually.

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

Evaluation criteria

The student must demonstrate that they have understood and mastered the concepts illustrated in class.

Criteria for the composition of the final grade

Project evaluation

Exam language

Italiano