bresolin
univrit
Curriculum Vitae
(pdf, it, 93 KB, 24/04/10)
Modules running in the period selected: 4.
Click on the module to see the timetable and course details.
| Course | Name | Total credits | Online | Teacher credits | Modules offered by this teacher |
|---|---|---|---|---|---|
| Bachelor's degree in Bioinformatics | Introduction to computer architecture and operating systems (2012/2013) | 12 | 3 | (Laboratorio) | |
| Bachelor's degree in Bioinformatics | Introduction to computer architecture and operating systems (2011/2012) | 12 | 3 | (Laboratorio) | |
|
Degree in Medical Radiology Techniques for Imaging and Radiotherapy (Verona)
Course Not running, not visible
|
Information technology and filing (2010/2011) | 4 | 3 | TEORIA | |
| 1 | LABORATORIO |
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.
MyUnivr| Topic | Description | Research area |
|---|---|---|
| Logiche non classiche (intuizionista, lineare, modale, temporale) |
Theory of computation
Logic |
|
| Modelli per sistemi ibridi | Studio di modelli per la rappresentazione di sistemi concorrenti che esibiscono comportamenti sia discreti che continui. Uso dei modelli per l'analisi di sistemi distribuiti di controllo. |
Theory of computation
Models of computation |
| Embedded system verification | Verification techniques for embedded systems at different abstraction levels, with particular emphasis on: - Static verification - Dynamic verification - Semi-formal verification - Hybrid and real-time systems |
Cyber-physical systems
Hardware validation |
© 2023 | Verona University
CSS e script comuni siti DOL - frase 9957
