Davide Bresolin

"Considerate la vostra semenza:
fatti non foste a viver come bruti,
ma per seguir virtute e canoscenza"

Dante Alighieri
Divina commedia
Inferno, canto XXVI

Research interests and activities
I'm Assistant Professor in Computer Science at the Department of Mathematics of the University of Padova.
My research interests are in the areas of Cyber-Physical Systems, hybrid automata, finite automata, temporal representation and reasoning, spatial and temporal logics.

My Curriculum Vitae (PDF) [English] [Italiano]


(Not so) Recent Talks

Research groups
My (scientific) genealogy
"We are like dwarfs sitting on the shoulders of giants.
Our glance can thus take in more things and reach farther than theirs.
It is not because our sight is sharper nor our height greater than theirs;
it is that we are carried and elevated by the high stature of the giants."

Bernard of Chartres
Genealogy Tree
Bestr Badge Teaching4Learning@Unipd New Faculty

The holder of this Badge has attended the training program on teaching innovation designed for academic staff starting a career at the University of Padova.

Teaching (in Italian, for students)

Ricevimento studenti:

Lunedì 16:30 - 18:30, oppure su appuntamento. Stanza 320, III piano, scala C di Torre Archimede.

A.A. 2018/2019:

Automi e Linguaggi Formali

Algoritmi Avanzati

Altre Conoscenze Utili e Tirocini

Personal Pages