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
Course partially running
|
Introduction to computer architecture and operating systems (2012/2013) | 12 | 3 | (Laboratorio) | |
Bachelor's degree in Bioinformatics
Course partially running
|
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 |
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
Topic | Description | Research area |
---|---|---|
Logiche non classiche (intuizionista, lineare, modale, temporale) |
Software Engineering and Formal Verification
Logic |
|
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 | Hardware validation |
******** CSS e script comuni siti DOL - frase 9957 ********