Davide Bresolin

Foto,  11 dicembre 2008
Qualifica
Incaricato alla ricerca
Telefono
+39 045 802 7908
Fax
+39 045 802 7068
E-mail
davide|bresolin*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~bresolin
Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 4.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

 

Gruppi di ricerca

Progettazione di sistemi elettronici (ESD - Electronic Systems Design)
Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate
Competenze
Argomento Descrizione Area di ricerca
Logiche non classiche (intuizionista, lineare, modale, temporale) Informatica teorica
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. Informatica teorica
Theory of computation - 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 Sistemi ciberfisici
Hardware - 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