Davide Bresolin

  1. Home
  2. Dipartimento
  3. Persone
  4. Davide Bresolin
Foto, 11 dicembre 2008
E-mail
davide|bresolin*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
30 novembre 2024
Qualifica
Incaricato alla ricerca
Curriculum

Insegnamenti

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

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
Competenze
Argomento Descrizione Area di ricerca
Logiche non classiche (intuizionista, lineare, modale, temporale) Ingegneria del Software e Verifica Formale
Logic
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
Progetti
Titolo Data inizio
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 23/08/11
Una piattaforma bioinformatica per l'estrazione di conoscenza temporale: applicazione ad un modello di differenziamento in cardiomiociti per investigare il ruolo della diossina in patologie cardiovascolari (FIRB 2010) 01/07/11
Una piattaforma bioinformatica per l'estrazione di conoscenza temporale: applicazione ad un modello di differenziamento in cardiomiociti per investigare il ruolo della diossina in patologie cardiovascolari (FIRB 2008) 29/12/09
C4C - Control for Coordination of Distributed Systems 01/05/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 01/01/08




Organizzazione

Strutture del dipartimento

Condividi