Davide Quaglia

  1. Home
  2. Dipartimento
  3. Persone
  4. Davide Quaglia
Foto, 12 febbraio 2014
Qualifica
Ricercatore
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 60
Telefono
+39 045 802 7811
Fax
+39 045 802 7068
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

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Programmazione e sicurezza delle reti (2017/2018)   6    2 
Laurea in Informatica Reti di calcolatori (2017/2018)   6    1 
Laurea in Bioinformatica Reti e sistemi per la bioinformatica (2017/2018)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2017/2018)   6    6 
Laurea in Bioinformatica Architetture hardware di laboratorio (2016/2017)   6  eLearning 5 
Laurea magistrale in Ingegneria e scienze informatiche Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2    2 
Laurea in Informatica Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2    2 
Laurea in Informatica Programmazione e sicurezza delle reti (2016/2017)   6    2 
Laurea in Informatica Reti di calcolatori (2016/2017)   6    1 
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2016/2017)   6  eLearning 6 
Laurea in Bioinformatica Architetture hardware di laboratorio (2015/2016)   6    6 
Laurea in Informatica Programmazione e sicurezza delle reti (2015/2016)   6    3 
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2015/2016)   6    6 
Laurea in Bioinformatica Architetture hardware di laboratorio (2014/2015)   6    6 
Laurea in Informatica Programmazione di rete (2014/2015)   6    2  (Teoria)
1  (laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2014/2015)   6  eLearning 6 
Laurea in Bioinformatica Architetture hardware di laboratorio (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2013/2014)   6    6 
Laurea in Bioinformatica Architetture hardware di laboratorio (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2012/2013)   6    6 
Laurea in Bioinformatica Architetture hardware di laboratorio (2011/2012)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded di rete (2011/2012)   6    6 
Laurea in Bioinformatica Architetture hardware di laboratorio (2010/2011)   6    6 
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2010/2011)   12    3  (Teoria e Esercitazioni)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi embedded multimediali (2010/2011)   6    6 
Laurea in Bioinformatica Architetture hardware di laboratorio (2009/2010)   6    6 
Laurea in Bioinformatica Elementi di architettura e sistemi operativi (2009/2010)   12    3  (Laboratorio e Esercitazioni)
Laurea magistrale in Ingegneria e scienze informatiche 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    4  Teoria
1  Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Reti di calcolatori (2008/2009)   5    4  Teoria
1  Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2007/2008)   10    1  Laboratorio
Laurea in Informatica Multimediale (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 (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2005/2006)   10    2  Laboratorio
Laurea in Informatica Multimediale (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]

Attività didattiche avanzate
Nome Online
PhD course on Modeling and Simulation of Heterogeneous Systems (31° Ciclo - Dottorato in Informatica)
PhD course on Modeling and Simulation of Heterogeneous Systems (30° ciclo - Dottorato in Informatica)
 

Gruppi di ricerca

Progettazione di sistemi elettronici (ESD - Electronic Systems Design)
Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate
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
Computer systems organization - 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
Networks - 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
Computer systems organization - Embedded and cyber-physical systems
Progetti
Titolo Data inizio
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
Sviluppo di una piattaforma ICT per l’analisi delle prestazioni sportive 13/12/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
EXPO-AGRI - EXtra-field Plant Observation for monitoring and forecast of AGRicultural Infections - Joint Projects 2015 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