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) | Information technology and filing (2010/2011) | 4 | 3 | TEORIA | |
| 1 | LABORATORIO |
| 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 |
