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 | Elementi di architettura e sistemi operativi (2012/2013) | 12 | 3 | (Laboratorio) | |
| Laurea in Bioinformatica | 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 |
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.
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) |
Algebra, Geometria e Logica Matematica
Logic |
|
| Logiche non classiche (intuizionista, lineare, modale, temporale) |
Algoritmi, Logica e teoria della computazione
Logic |
|
| 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. |
Algebra, Geometria e Logica Matematica
Models of computation |
| 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. |
Algoritmi, Logica e teoria della computazione
Models of computation |
| 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 |
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
