Davide Bresolin

  1. Home
  2. Department
  3. People
  4. Davide Bresolin
Foto, December 11, 2008
Position
Research Assistants
Telephone
+39 045 802 7908
E-mail
davide|bresolin*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.sci.univr.it/~bresolin
Curriculum

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2012/2013)   12    3  (Laboratorio)
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2011/2012)   12    3  (Laboratorio)
Degree in Medical Radiology Techniques for Imaging and Radiotherapy (Verona) Information technology and filing (2010/2011)   4    3  TEORIA
1  LABORATORIO

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.

MyUnivr

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.
Research interests
Topic Description Research area
Logiche non classiche (intuizionista, lineare, modale, temporale) Software Engineering and Formal Verification
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. Software Engineering and Formal Verification
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 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

Share