bresolin
univrit
Curriculum Vitae
(pdf, it, 93 KB, 24/04/10)
Insegnamenti attivi nel periodo selezionato: 4.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
| Corso | Nome | Crediti totali | Online | Crediti del docente | Moduli svolti da questo docente |
|---|---|---|---|---|---|
| Laurea in Bioinformatica [L-31] | Elementi di architettura e sistemi operativi (2012/2013) | 12 | 3 | (Laboratorio) | |
| Laurea in Bioinformatica [L-31] | Elementi di architettura e sistemi operativi (2011/2012) | 12 | 3 | (Laboratorio) | |
|
Laurea in Tecniche di Radiologia medica, per Immagini e Radioterapia (abilitante alla professione sanitaria di Tecnico di radiologia medica) (Verona)
Corso disattivato non visibile
|
Informatica ed archiviazione (2010/2011) | 4 | 3 | TEORIA | |
| 1 | LABORATORIO |
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| Logiche non classiche (intuizionista, lineare, modale, temporale) |
Ingegneria del Software e verifica formale
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. |
Ingegneria del Software e verifica formale
Models of computation |
| Verifica di sistemi embedded | Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time | Hardware validation |
© 2025 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
