Davide Bresolin

Foto,  December 11, 2008
E-mail
davide|bresolin*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
December 31, 2018
Note
 
Curriculum

Modules

Modules running in the period selected: 4.
Click on the module to see the timetable and course details.

 

Research groups

Electronic Systems Design (ESD)
Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies
Skills
Topic Description Research area
Logiche non classiche (intuizionista, lineare, modale, temporale) 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. Theory of computation
Models of computation
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 Cyber-physical systems
Hardware validation
Projects
Title Starting date
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 8/23/11
A new bioinformatics platform for temporal knowledge discovery:application toa model of cardiomyocyte differentiation for understanding the role of dioxin in cardiovascular diseases 7/1/11
A new bioinformatics platform for temporal knowledge discovery:application toa model of cardiomyocyte differentiation for understanding the role of dioxin in cardiovascular diseases 12/29/09
C4C - Control for Coordination of Distributed Systems 5/1/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 1/1/08





Organization

Department facilities