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 an Assistant Professor at the Computer Science Group of the Department of Mathematics of the University of Padova.
My research interests are in the areas of hybrid automata, finite automata, temporal representation and reasoning, spatial and temporal logics.
"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
A very old Curriculum Vitae (PDF) [English] [Italiano]


(Not so) Recent Talks

Teaching (in Italian, for students)

Ricevimento studenti: Lunedì 15:30 - 17:30, oppure su appuntamento.

A.A. 2016/2017:

Programmazione (Canale M-Z)

Automi e Linguaggi Formali

Computabilità e Algoritmi - Modulo Algoritmi

Personal Pages