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 |
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 |