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
February 28, 2014
Note
 
Curriculum

Modules

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


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
Vai al dipartimento di riferimento: Computer Science
Skills
Topic Description Research area
Logiche non classiche (intuizionista, lineare, modale, temporale) Algebra, Geometry, and Mathematical Logic
Logic
Logiche non classiche (intuizionista, lineare, modale, temporale) Algorithms, Logic, and Theory of Computing
Logic
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. Algebra, Geometry, and Mathematical Logic
Models of computation
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. Algorithms, Logic, and Theory of Computing
Models of computation
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
Vai al dipartimento di riferimento: Computer Science




Other positions held


© 2002 - 2024  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234