Davide Bresolin
- Tipologia: Docenti Afferenti
- Qualifica: Professore Associato
- SSD: INFO-01/A
- Stanza: 3DA7
- Telefono: 049 827 1330
- E-mail: bresolin@math.unipd.it
- Ricerca: https://www.research.unipd.it/cris/rp/rp66444
- Aree di Ricerca:
- Theoretical computer science, formal methods, automata (Temporal Logic; Model Checking; Automata Theory)
- Artificial intelligence, intelligent systems, natural language processing (Safe and Trusted AI; Autonomous agents)
- Distributed systems, parallel computing, sensor networks, cyber-physical systems (Hybrid Systems; Cyberphysical Systems)
