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

1° periodo di lezioni From 9/30/19 To 12/14/19
years Modules TAF Teacher
The fashion lab (1 ECTS) D Maria Caterina Baruffi (Coordinator)
I semestre From 10/1/19 To 1/31/20
years Modules TAF Teacher
Python programming language D Maurizio Boscaini (Coordinator)
II semestre From 3/2/20 To 6/12/20
years Modules TAF Teacher
CyberPhysical Laboratory D Andrea Calanca (Coordinator)
C++ Programming Language D Federico Busato (Coordinator)
LaTeX Language D Enrico Gregorio (Coordinator)
Matlab-Simulink programming D Bogdan Mihai Maris (Coordinator)
List of courses with unassigned period
years Modules TAF Teacher
Corso Europrogettazione D Not yet assigned
The course provides an introduction to blockchain technology. It focuses on the technology behind Bitcoin, Ethereum, Tendermint and Hotmoka. D Matteo Cristani

Teaching code

4S003711

Credits

6

Coordinator

Davide Quaglia

Language

Italian

Scientific Disciplinary Sector (SSD)

INF/01 - INFORMATICS

The teaching is organized as follows:

Teoria

Credits

4

Period

II semestre

Academic staff

Davide Quaglia

Laboratorio

Credits

2

Period

II semestre

Academic staff

Davide Quaglia

Learning outcomes

The course aims at providing the basics for the design, implementation, development, management and maintenance of hardware and software systems in biotechnological laboratories.
After profitably attending the course, the students will be able to develop, manage and maintain IT systems, with particular regard to the installation and administration of resources; to use network analysis software and IT tools to support biology and medicine laboratories.

Program

Theory
------

Communications among systems
- Networks
- Protocols
- Sensor networks
- Internet of Things
- Machine-to-machine communications (M2M)
Methods and devices for data acquisition, storage, and visualization
- Acquisition, calibration and errors
- Storage formats
- Storage devices
- Lab-on-chips
Methods for automatic traceability
- Application scenarios
- Identification methods: bar codes, RFID, Active wireless tags
- EPCGlobal
- Architecture of a system for automatic traceability

Laboratory
----------

- Tools for network analysis
- Network programming in Java
- Machine-to-machine communications through a middleware layer.
- Visualization tools
- Example of biotech process automation (E-Wine and E-Flour projects)
- Example of biotech lab automation
- Machine virtualization and Linux advanced management.

Must-have: Introduction to programming
Prerequisites: Database systems for bioinformatics

Bibliography

Reference texts
Activity Author Title Publishing house Year ISBN Notes
Teoria John L. Hennessy, David A. Patterson Computer Architecture - A Quantitative Approach (Edizione 5) Morgan Kaufmann 2011 012383872X
Teoria C. Hamacher, Z. Vranesic, S. Zaky, N. Manjikian Introduzione all'architettura dei calcolatori (Edizione 1) McGraw-Hill 2012 9788838667510
Teoria Andrew S. Tanenbaum Reti di calcolatori (Edizione 4) Pearson - Prentice Hall 2003 8871921828
Teoria Abraham Silberschatz, Peter Baer Galvin, Greg Gagne Sistemi operativi. Concetti ed esempi. (Edizione 9) Pearson 2014 9788865183717
Laboratorio John L. Hennessy, David A. Patterson Computer Architecture - A Quantitative Approach (Edizione 5) Morgan Kaufmann 2011 012383872X
Laboratorio C. Hamacher, Z. Vranesic, S. Zaky, N. Manjikian Introduzione all'architettura dei calcolatori (Edizione 1) McGraw-Hill 2012 9788838667510
Laboratorio Andrew S. Tanenbaum Reti di calcolatori (Edizione 4) Pearson - Prentice Hall 2003 8871921828
Laboratorio Abraham Silberschatz, Peter Baer Galvin, Greg Gagne Sistemi operativi. Concetti ed esempi. (Edizione 9) Pearson 2014 9788865183717

Examination Methods

The examination aims at verifying the comprehension of course contents. It consists of:

1) written test with 10 questions about the theory and laboratory; questions may also consist in short numerical exercises; a max amount of 3 points are given for each answer;
2) optional project as
- bibliographic research (max 2 points, team of max 2 people)
- experimental activity (max 3 points, team of max 3 people)

Students from Computer Science Degree cannot use this class as "crediti D".

For the project, synergies are possibles with other classes, stage and thesis.

The final result (over 30 points) is computed by summing up the result of both the written test and the project. Attribute "Laude" is given when 32-33 points are achieved.

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

Teaching materials e documents