Davide Bresolin
Fast Links
Links
- Qualification
- Research Associate
- Telephone
- +39 045 802 7908
- Fax
- +39 045 802 7068
- davide
bresolin
univrit
- Personal web page
- http://profs.sci.univr.it/~bresolin
Documents
- Curriculum
-
| Skills | ||
|---|---|---|
| Skill | Description | Research area |
| Logiche non classiche (intuizionista, lineare, modale, temporale) | Theory of Computation - MATHEMATICAL LOGIC AND FORMAL LANGUAGES | |
| 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. | Information Systems - MODELS AND PRINCIPLES |
| 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 | Hardware - PERFORMANCE AND RELIABILITY |
| Projects | |
|---|---|
| Title | Starting date |
| 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 |
