Davide Quaglia

Foto,  12 febbraio 2014
Qualifica
Professore associato
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
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

 Scrivere email proponendo 1 o 2 combinazioni di data e ora. Please, send an email with 1 o 2 proposed time slots.

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: 88.
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 (2023/2024)   9  eLearning (Introduzione alle reti)
Laurea in Bioinformatica Elementi di architettura (2023/2024)   6  eLearning (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2023/2024)   6  eLearning (Networked embedded systems)
(IoT Systems)
Laurea in Informatica Programmazione e sicurezza delle reti (2023/2024)   6  eLearning (Laboratorio)
(Teoria)
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Architetture di computer e introduzione alle reti con laboratorio (2022/2023)   9  eLearning (Introduzione alle reti)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2022/2023)   6  eLearning (IoT Systems)
(Networked embedded systems)
Laurea in Informatica Programmazione e sicurezza delle reti (2022/2023)   6  eLearning (Teoria)
(Laboratorio)
Laurea in Informatica Architettura degli elaboratori [Matricole dispari] (2021/2022)   12  eLearning (Esercitazioni)
Laurea in Informatica Architettura degli elaboratori [Matricole pari] (2021/2022)   12    (Esercitazioni)
Laurea in Bioinformatica Elementi di sistemi operativi e reti (2021/2022)   12  eLearning ELEMENTI DI RETI (Teoria base)
ELEMENTI DI RETI (Laboratorio)
ELEMENTI DI RETI (Teoria avanzata)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2021/2022)   6  eLearning
Laurea in Informatica Programmazione e sicurezza delle reti (2021/2022)   6  eLearning (Teoria)
Laurea in Informatica Architettura degli elaboratori [Matricole dispari] (2020/2021)   12  eLearning (Teoria)
Laurea in Informatica Architettura degli elaboratori [Matricole pari] (2020/2021)   12  eLearning (Teoria)
Laurea in Bioinformatica Elementi di sistemi operativi e reti (2020/2021)   12  eLearning ELEMENTI DI RETI (Teoria)
ELEMENTI DI RETI (Laboratorio)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2020/2021)   6  eLearning
Dottorato in Informatica Networked embedded Systems and related methodologies to make smart and sustainable environments (2020/2021)   2   
Laurea in Informatica Programmazione e sicurezza delle reti (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning
Laurea in Informatica Programmazione e sicurezza delle reti (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
Laurea in Bioinformatica Reti e sistemi per la bioinformatica (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2019/2020)   6  eLearning (Teoria)
(Laboratorio)
Laurea in Bioinformatica Reti e sistemi per la bioinformatica (2018/2019)   6  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2018/2019)   6  eLearning (Teoria)
(Laboratorio)
Laurea in Informatica Programmazione e sicurezza delle reti (2017/2018)   6   
Laurea in Informatica Reti di calcolatori (2017/2018)   6  eLearning
Laurea in Bioinformatica Reti e sistemi per la bioinformatica (2017/2018)   6  eLearning
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2017/2018)   6  eLearning
Laurea in Bioinformatica Architetture hardware di laboratorio (2016/2017)   6  eLearning
Laurea in Informatica Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2   
Laurea magistrale in Ingegneria e scienze informatiche Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2   
Laurea in Informatica Programmazione e sicurezza delle reti (2016/2017)   6   
Laurea in Informatica Reti di calcolatori (2016/2017)   6   
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2016/2017)   6  eLearning
Laurea in Bioinformatica Architetture hardware di laboratorio (2015/2016)   6   
Laurea in Informatica Programmazione e sicurezza delle reti (2015/2016)   6   
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2015/2016)   6   
Laurea in Bioinformatica Architetture hardware di laboratorio (2014/2015)   6   
Laurea in Informatica Programmazione di rete (2014/2015)   6    (laboratorio)
(Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2014/2015)   6   
Laurea in Bioinformatica Architetture hardware di laboratorio (2013/2014)   6   
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2013/2014)   6   
Laurea in Bioinformatica Architetture hardware di laboratorio (2012/2013)   6   
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2012/2013)   6   
Laurea in Bioinformatica Architetture hardware di laboratorio (2011/2012)   6   
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2011/2012)   6   
Laurea in Bioinformatica Architetture hardware di laboratorio (2010/2011)   6   
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2010/2011)   12    (Teoria e Esercitazioni)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded multimediali (2010/2011)   6   
Laurea in Bioinformatica Architetture hardware di laboratorio (2009/2010)   6   
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2009/2010)   12    (Laboratorio e Esercitazioni)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded multimediali (2009/2010)   6   
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Architetture hardware di laboratorio (2008/2009)   5   
Laurea specialistica in Sistemi intelligenti e multimediali Architetture multimediali (2008/2009)   5    Laboratorio
Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2008/2009)   5    Teoria
Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2007/2008)   10    Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2007/2008)   10    Laboratorio
Laurea specialistica in Sistemi intelligenti e multimediali Architetture multimediali (2007/2008)   5    Teoria
Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2007/2008)   5    Laboratorio
Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2006/2007)   10    Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2006/2007)   10    Laboratorio
Laurea specialistica in Sistemi intelligenti e multimediali Architetture multimediali (2006/2007)   5   
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2006/2007)   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    Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2005/2006)   10    Laboratorio
Laurea specialistica in Sistemi intelligenti e multimediali Architetture multimediali (2005/2006)   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]

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e a breve anche tramite l'app Univr.

MyUnivr
 

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.
Competenze
Argomento Descrizione Area di ricerca
Progettazione di sistemi embedded Tecniche per la progettazione automatica di hardware/software per sistemi embedded modellati a livello transazionale (TLM), con particolare attenzione a: - sintesi e astrazione RTL-TLM - astrazione da moduli RTL a software - generazione automatica di transattori TLM - generazione automatica di device driver - software embedded per sistemi multi-core e many-core - modellazione basata su linguaggi di descrizione dell'hardware - progettazione basata su middleware Sistemi ciberfisici
Embedded and cyber-physical systems
Sistemi di rete Tecniche per la progettazione di sistemi di rete, particolarmente orientate a: - progettazione di protocolli e architetture di rete - valutazione delle prestazioni di sistemi di rete - caratterizzazione e misura delle reti - reti overlay Sistemi ciberfisici
Network architectures
Sistemi embedded di rete Tecniche per la progettazione di sistemi embedded di rete, particolarmente orientate a: - co-progettazione di sistemi embedded di rete - co-simulazione di sistemi embedded di rete - progettazione centrata sulla qualità del servizio - reti di sensori e sistemi M2M Sistemi ciberfisici
Embedded and cyber-physical systems
Progetti
Titolo Data inizio
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