Davide Quaglia

  1. Home
  2. Dipartimento
  3. Persone
  4. Davide Quaglia
Foto, 12 febbraio 2014
Qualifica
Professore associato
Settore disciplinare
IINF-05/A - Sistemi di elaborazione delle informazioni
Settore di Ricerca (ERC-2024)
PE6_1 - Computer architecture, embedded systems, operating systems

PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems

PE6_12 - Scientific computing, simulation and modelling tools

Settore di Ricerca (ERC)
PE6_1 - Computer architecture, pervasive computing, ubiquitous computing

PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

PE6_12 - Scientific computing, simulation and modelling tools

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 50
Telefono
+39 045 802 7811
E-mail
davide|quaglia*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

Si riceve ogni giorno, previo appuntamento da concordare via mail proponendo almeno 2 combinazioni di data e ora.

Curriculum

Davide Quaglia si occupa di computational ecology e di architetture di elaborazione, sensing e comunicazione dal punto di vista delle metodologie e degli strumenti per la progettazione e simulazione, con concetti relativi a Internet of Things, sistemi ciber-fisici, Industria 4.0, smart city, agricoltura di precisione, ecologia e logistica.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 101.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Architetture di computer e introduzione alle reti con laboratorio (2025/2026)   9    3  (Introduzione alle reti)
Laurea magistrale in Ingegneria e scienze informatiche Architetture per lo IoT (2025/2026)   6  eLearning 3  (Sistemi IoT)
3  (Sistemi di rete embedded)
Laurea in Bioinformatica Elementi di architettura (2025/2026)   6  eLearning 5  (Teoria)
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2025/2026)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Architetture di computer e introduzione alle reti con laboratorio (2024/2025)   9  eLearning 3  (Introduzione alle reti)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Architetture per lo IoT (2024/2025)   6  eLearning 3  (Sistemi embedded di rete)
3  (Sistemi IoT)
PERCORSO 60 CFU CLASSE A041 Complementi: didattica dei sistemi operativi e reti (2024/2025)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Elementi di architettura (2024/2025)   6  eLearning 5  (Teoria)
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2024/2025)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Master in Glottodidattica inclusiva Tecnologie assistive e strumenti digitali per l'accessibilita' e inclusione (2024/2025)   2    0,5  (Parte I)
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Architetture di computer e introduzione alle reti con laboratorio (2023/2024)   9  eLearning 3  (Introduzione alle reti)
PERCORSO 60 CFU CLASSE A041 Complementi: didattica dei sistemi operativi e reti (2023/2024)   3  eLearning 3 
Laurea in Bioinformatica [L-31] Elementi di architettura (2023/2024)   6  eLearning 5  (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2023/2024)   6  eLearning 3  (Networked embedded systems)
3  (IoT Systems)
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2023/2024)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Laurea interateneo in Ingegneria dei sistemi medicali per la persona [L-8] Architetture di computer e introduzione alle reti con laboratorio (2022/2023)   9  eLearning 3  (Introduzione alle reti)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2022/2023)   6  eLearning 3  (IoT Systems)
3  (Networked embedded systems)
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2022/2023)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2021/2022)   12  eLearning 1  (Esercitazioni)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2021/2022)   12    1  (Esercitazioni)
Laurea in Bioinformatica [L-31] Elementi di sistemi operativi e reti (2021/2022)   12  eLearning 2  ELEMENTI DI RETI (Teoria base)
2  ELEMENTI DI RETI (Laboratorio)
2  ELEMENTI DI RETI (Teoria avanzata)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2021/2022)   6  eLearning 6 
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2021/2022)   6  eLearning 4  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole dispari] (2020/2021)   12  eLearning 1  (Teoria)
Laurea in Informatica [L-31] Architettura degli elaboratori [Matricole pari] (2020/2021)   12  eLearning 1  (Teoria)
Laurea in Bioinformatica [L-31] Elementi di sistemi operativi e reti (2020/2021)   12  eLearning 4  ELEMENTI DI RETI (Teoria)
2  ELEMENTI DI RETI (Laboratorio)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2020/2021)   6  eLearning 6 
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2020/2021)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2019/2020)   6  eLearning 1  (Laboratorio)
2  (Teoria)
Laurea in Bioinformatica [L-31] Reti e sistemi per la bioinformatica (2019/2020)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2019/2020)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Laurea in Bioinformatica [L-31] Reti e sistemi per la bioinformatica (2018/2019)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2018/2019)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2017/2018)   6    2 
Laurea in Informatica [L-31] Reti di calcolatori (2017/2018)   6  eLearning 1 
Laurea in Bioinformatica [L-31] Reti e sistemi per la bioinformatica (2017/2018)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2017/2018)   6  eLearning 6 
Laurea in Bioinformatica [L-31] Architetture hardware di laboratorio (2016/2017)   6  eLearning 5 
Laurea in Informatica [L-31] Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2    2 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2    2 
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2016/2017)   6    2 
Laurea in Informatica [L-31] Reti di calcolatori (2016/2017)   6    1 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2016/2017)   6  eLearning 6 
Laurea in Bioinformatica [L-31] Architetture hardware di laboratorio (2015/2016)   6    6 
Laurea in Informatica [L-31] Programmazione e sicurezza delle reti (2015/2016)   6    3 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2015/2016)   6    6 
Laurea in Bioinformatica [L-31] Architetture hardware di laboratorio (2014/2015)   6    6 
Laurea in Informatica [L-31] Programmazione di rete (2014/2015)   6    1  (laboratorio)
2  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2014/2015)   6    6 
Laurea in Bioinformatica [L-31] Architetture hardware di laboratorio (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2013/2014)   6    6 
Laurea in Bioinformatica [L-31] Architetture hardware di laboratorio (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2012/2013)   6    6 
Laurea in Bioinformatica [L-31] Architetture hardware di laboratorio (2011/2012)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded di rete (2011/2012)   6    6 
Laurea in Bioinformatica [L-31] Architetture hardware di laboratorio (2010/2011)   6    6 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2010/2011)   12    3  (Teoria e Esercitazioni)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded multimediali (2010/2011)   6    6 
Laurea in Bioinformatica [L-31] Architetture hardware di laboratorio (2009/2010)   6    6 
Laurea in Bioinformatica [L-31] Elementi di architettura e sistemi operativi (2009/2010)   12    3  (Laboratorio e Esercitazioni)
Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] Sistemi embedded multimediali (2009/2010)   6    6 
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Architetture hardware di laboratorio (2008/2009)   5    5 
Laurea specialistica in Sistemi intelligenti e multimediali Architetture multimediali (2008/2009)   5    1  Laboratorio
4  Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2008/2009)   5    1  Laboratorio
4  Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2007/2008)   10    1  Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2007/2008)   10    1  Laboratorio
Laurea specialistica in Sistemi intelligenti e multimediali Architetture multimediali (2007/2008)   5    4  Teoria
1  Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2007/2008)   5    4  Teoria
1  Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2006/2007)   10    2  Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2006/2007)   10    2  Laboratorio
Laurea specialistica in Sistemi intelligenti e multimediali Architetture multimediali (2006/2007)   5    5 
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2006/2007)   5    5 
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Sistemi Multimediali di Rete (2006/2007)   5     
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2005/2006)   10    2  Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2005/2006)   10    2  Laboratorio
Laurea specialistica in Sistemi intelligenti e multimediali Architetture multimediali (2005/2006)   5    5 
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Networking Multimedia Systems (2005/2006)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2004/2005)   10      Laboratorio [Sezione A]
  Laboratorio [Sezione B]

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.

Gruppi di ricerca

ESD - Electronic Systems Design
Obiettivo del gruppo di ricerca è applicare l’automazione della progettazione elettronica (EDA) ai sistemi di produzione ciber-fisici (CPPS) e IoT industriale (IIoT) per la modellazione, simulazione, sintesi e test di linee di produzione.
ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici
Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari.
INdAM - Unità di Ricerca dell'Università di Verona
Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona
NeST
Progettazione e verifica delle tecnologie di comunicazione in grado di portare efficienza e sostenibilità in applicazioni chiave come industria, agricoltura, domotica, trasporti e gestione del territorio.
Progetti
Titolo Data inizio
VVV - Voglio Vedere Verde: simulazione virtuale di eco-sistemi naturali per esprimere, condividere e comunicare le esigenze di verde nell’ambiente 28/12/23
PRIN 2022 - Urban Greening for Pervasive and Resilient Proximity 18/10/23
SPACE13 INNOVATION-LAB 11/01/22
Osservazione dei processi lavorativi, con garanzie oggettive di tutela della Privacy, per la prevenzione di Errori e situazioni di Rischio in maniera Automatica ai tempi di Industria 4.0 (OPERA 4.0) 01/01/21
FA&AF L'Agricoltura del Futuro e gli Alimenti Funzionali: una sfida per la ricerca e il rilancio del territorio veneto 10/09/20
VIR2EM - Virtualizzazione e remotizzazione per una manifattura efficiente e resiliente 10/09/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 09/03/20
Supporto per acquisizione, gestione ed analisi di dati nel contesto di applicazioni di tipo “smart-land" 27/01/20
Model-Based Design and Verication Flow for Embedded Vision Applications 26/02/19
Estensione di un'applicazione mobile per la comunicazione tra campeggio e ospite 01/04/18
Progetto di eccellenza: Informatica per Industria 4.0 01/01/18
COREWOOD - Riposizionamento competitivo del la filiera del legno 07/11/17
GHOTEM - Global House Thermal & Electrical Energy Management 07/11/17
I-PLANTS: studenti in cammino nel verde 2.0 01/06/17
Sviluppo di una prima versione delle tecniche di localizzazione statistica in ambito sportivo e test in ambiente simulato 03/04/17
Perfezionamento e introduzione di aspetti informatici innovativi nel Parco Alpi Liguri 30/03/17
Realizzazione di un'applicazione mobile per la comunicazione tra campeggio e ospite 23/03/17
DARE - Realtà Aumentata basata sulla direzione del segnale radio 06/03/17
JP2016 - Realtà Aumentata basata sulla direzione del segnale radio 06/03/17
Sviluppo di una piattaforma ICT per l’analisi delle prestazioni sportive 13/12/16
Realizzazione di un dimostratore di un'applicazione mobile per la comunicazione tra campeggio e ospite ai fini dello studio dell'interfaccia grafica e funzionale 28/11/16
Progettazione e implementazione di un efficiente e innovativo strumento di modellazione e simulazione per sistemi cosiddetti smart systems (TLM Smart Systems Modeling) 29/02/16
JP2015 - EXPO-AGRI - Osservazione degli impianti oltre campo per il monitoraggio e la previsione delle infezioni agricole 01/02/16
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale 10/09/15
Progettazione e implementazione di una piattaforma di teleassistenza mobile audio e video basato sulla Realtà Aumentata e Reti di Sensori Wearable (Glasses Hidden On-Site Technician) 01/01/15
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center) 01/12/14
Controllo automatico di processo per risparmio energetico e recupero di risorse dalle acque reflue 28/03/14
Tracciabilità integrata e verifica di processo in tempo reale applicata alla produzione di farine da cereali biologici macinati a pietra (E-FLOUR) - Joint Projects 2011 01/05/12
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 01/09/11
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 23/08/11
Tools for cOoperating Objects applications Life-cycle (TOOL) 01/03/10
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) 27/01/10
Architetture per la gestione integrata di sistemi di rete 01/01/10
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori 01/01/10
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici 06/04/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 07/11/08
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007) 22/09/08
C4C - Control for Coordination of Distributed Systems 01/05/08
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) 17/12/07
A Multimedia Platform for ZigBee based Home Automation (Z-Home) - Joint Project 2007 01/11/07
Piattaforma embedded configurabile per comunicazioni veicolari wireless a larga banda (WirelessTransPlat) - Joint Project 2007 01/09/07
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) 13/07/07
Modeling and Co-simulation Methods and Tools for the Architectural Exploration and Optimization of Smart Devices (McMEOS) - Joint Project 2005 01/01/07
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life 01/07/06
An embedded networked architecture to monitor the wine supply chain (eWINE) 01/06/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) 30/01/06
Ambiente di modellazione e verifica per terminali mobili 01/12/05



Organizzazione

Strutture del dipartimento

Condividi