Davide Quaglia

  1. Home
  2. Department
  3. People
  4. Davide Quaglia
Foto, February 12, 2014
Position
Associate Professor
Academic sector
IINF-05/A - Information Processing Systems
Research sector (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

Research sector (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

Office
Ca' Vignal 2,  Floor 1,  Room 50
Telephone
+39 045 802 7811
E-mail
davide|quaglia*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

I receive every day, by appointment, to be agreed upon via email, proposing at least two date and time combinations.

Curriculum

Davide Quaglia deals with computational ecology and processing, sensing and communication architectures from the point of view of methodologies and tools for design and simulation, with concepts related to the Internet of Things, cyber-physical systems, Industry 4.0, smart cities, precision agriculture, ecology, and logistics.

Modules

Modules running in the period selected: 101.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Bachelor's degree in Human Centered Medical System Engineering Computer architectures and networks with laboratory (2025/2026)   9    3  (Introduzione alle reti)
Bachelor's degree in Bioinformatics Introduction to computer architecture (2025/2026)   6    5  (Teoria)
Master's degree in Computer Science and Engineering IoT Architectures (2025/2026)   6    3  (Sistemi di rete embedded)
3  (Sistemi IoT)
Bachelor's degree in Computer Science Network programming and security (2025/2026)   6    4  (Teoria)
2  (Laboratorio)
Bachelor's degree in Human Centered Medical System Engineering Computer architectures and networks with laboratory (2024/2025)   9  eLearning 3  (Introduzione alle reti)
Bachelor's degree in Bioinformatics Introduction to computer architecture (2024/2025)   6  eLearning 5  (Teoria)
Master's degree in Computer Science and Engineering IoT Architectures (2024/2025)   6  eLearning 3  (Sistemi IoT)
3  (Sistemi embedded di rete)
Bachelor's degree in Computer Science Network programming and security (2024/2025)   6  eLearning 4  (Teoria)
2  (Laboratorio)
PERCORSO 60 CFU CLASSE A041 Complementi: didattica dei sistemi operativi e reti (2024/2025)   3  eLearning 3 
Master in Glottodidattica inclusiva Tecnologie assistive e strumenti digitali per l'accessibilita' e inclusione (2024/2025)   2    0.5  (Parte I)
Bachelor's degree in Human Centered Medical System Engineering Computer architectures and networks with laboratory (2023/2024)   9  eLearning 3  (Introduzione alle reti)
Bachelor's degree in Bioinformatics Introduction to computer architecture (2023/2024)   6  eLearning 5  (Teoria)
Bachelor's degree in Computer Science Network programming and security (2023/2024)   6  eLearning 2  (Laboratorio)
4  (Teoria)
PERCORSO 60 CFU CLASSE A041 Complementi: didattica dei sistemi operativi e reti (2023/2024)   3  eLearning 3 
Master's degree in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2023/2024)   6  eLearning 3  (IoT Systems)
3  (Networked embedded systems)
Bachelor's degree in Human Centered Medical System Engineering Computer architectures and networks with laboratory (2022/2023)   9  eLearning 3  (Introduzione alle reti)
Bachelor's degree in Computer Science Network programming and security (2022/2023)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Master's degree in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2022/2023)   6  eLearning 3  (IoT Systems)
3  (Networked embedded systems)
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2021/2022)   12  eLearning 1  (Esercitazioni)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2021/2022)   12    1  (Esercitazioni)
Bachelor's degree in Bioinformatics Introduction to operating systems and networks (2021/2022)   12  eLearning 2  ELEMENTI DI RETI (Laboratorio)
2  ELEMENTI DI RETI (Teoria avanzata)
2  ELEMENTI DI RETI (Teoria base)
Bachelor's degree in Computer Science Network programming and security (2021/2022)   6  eLearning 4  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2021/2022)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Architecture [Matricole dispari] (2020/2021)   12  eLearning 1  (Teoria)
Bachelor's degree in Computer Science Computer Architecture [Matricole pari] (2020/2021)   12  eLearning 1  (Teoria)
Bachelor's degree in Bioinformatics Introduction to operating systems and networks (2020/2021)   12  eLearning 4  ELEMENTI DI RETI (Teoria)
2  ELEMENTI DI RETI (Laboratorio)
Bachelor's degree in Computer Science Network programming and security (2020/2021)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Master's degree in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2020/2021)   6  eLearning 6 
Master's degree in Computer Science and Engineering Networked embedded systems (2019/2020)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor's degree in Computer Science Network programming and security (2019/2020)   6  eLearning 1  (Laboratorio)
2  (Teoria)
Bachelor's degree in Bioinformatics Networks and Systems in Bioinformatics (2019/2020)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Master's degree in Computer Science and Engineering Networked embedded systems (2018/2019)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor's degree in Bioinformatics Networks and Systems in Bioinformatics (2018/2019)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Bachelor's degree in Computer Science Computer Networks (2017/2018)   6  eLearning 1 
Master's degree in Computer Science and Engineering Networked embedded systems (2017/2018)   6  eLearning 6 
Bachelor's degree in Computer Science Network programming and security (2017/2018)   6    2 
Bachelor's degree in Bioinformatics Networks and Systems in Bioinformatics (2017/2018)   6  eLearning 6 
Bachelor's degree in Computer Science Computer Networks (2016/2017)   6    1 
Master's degree in Computer Science and Engineering Networked embedded systems (2016/2017)   6  eLearning 6 
Bachelor's degree in Computer Science Network programming and security (2016/2017)   6    2 
Bachelor's degree in Bioinformatics System Architecture for Biotechnology (2016/2017)   6  eLearning 5 
Bachelor's degree in Computer Science Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2    2 
Master's degree in Computer Science and Engineering Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2    2 
Master's degree in Computer Science and Engineering Networked embedded systems (2015/2016)   6    6 
Bachelor's degree in Computer Science Network programming and security (2015/2016)   6    3 
Bachelor's degree in Bioinformatics System Architecture for Biotechnology (2015/2016)   6    6 
Master's degree in Computer Science and Engineering Networked embedded systems (2014/2015)   6    6 
Bachelor's degree in Computer Science Network programming (2014/2015)   6    1  (laboratorio)
2  (Teoria)
Bachelor's degree in Bioinformatics System Architecture for Biotechnology (2014/2015)   6    6 
Master's degree in Computer Science and Engineering Networked embedded systems (2013/2014)   6    6 
Bachelor's degree in Bioinformatics System Architecture for Biotechnology (2013/2014)   6    6 
Master's degree in Computer Science and Engineering Networked embedded systems (2012/2013)   6    6 
Bachelor's degree in Bioinformatics System Architecture for Biotechnology (2012/2013)   6    6 
Master's degree in Computer Science and Engineering Networked embedded systems (2011/2012)   6    6 
Bachelor's degree in Bioinformatics System Architecture for Biotechnology (2011/2012)   6    6 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2010/2011)   12    3  (Teoria e Esercitazioni)
Master's degree in Computer Science and Engineering Multimedia embedded systems (2010/2011)   6    6 
Bachelor's degree in Bioinformatics System Architecture for Biotechnology (2010/2011)   6    6 
Bachelor's degree in Bioinformatics Introduction to computer architecture and operating systems (2009/2010)   12    3  (Laboratorio e Esercitazioni)
Master's degree in Computer Science and Engineering Multimedia embedded systems (2009/2010)   6    6 
Bachelor's degree in Bioinformatics System Architecture for Biotechnology (2009/2010)   6    6 
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Computer Networks (2008/2009)   5    4  Teoria
1  Laboratorio
Masters in Intelligent and Multimedia Systems Multimedia Architecture (2008/2009)   5    1  Laboratorio
4  Teoria
Bachelor's degree in Bioinformatics (until 2008-2009) System Architecture for Biotechnology (2008/2009)   5    5 
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Computer Architecture (2007/2008)   10    1  Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2007/2008)   10    1  Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Computer Networks (2007/2008)   5    4  Teoria
1  Laboratorio
Masters in Intelligent and Multimedia Systems Multimedia Architecture (2007/2008)   5    4  Teoria
1  Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2006/2007)   10    2  Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Computer Architecture (2006/2007)   10    2  Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Computer Networks (2006/2007)   5    5 
Masters in Intelligent and Multimedia Systems Multimedia Architecture (2006/2007)   5    5 
Level 1 Masters in Network Planning and Management Sistemi Multimediali di Rete (2006/2007)   5     
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Computer Architecture (2005/2006)   10    2  Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2005/2006)   10    2  Laboratorio
Masters in Intelligent and Multimedia Systems Multimedia Architecture (2005/2006)   5    5 
Level 1 Masters in Network Planning and Management Networking Multimedia Systems (2005/2006)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2004/2005)   10      Laboratorio [Sezione B]
  Laboratorio [Sezione A]

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.

Research groups

Electronic Systems Design (ESD)
The aim of the research group is to apply electronic design automation (EDA) techniques to cyber-physical production systems (CPPSs) and Industrial IoT (IIoT) for modeling, simulation, synthesis and testing of production lines.
ForMe - Formal Methods for the Design of Engineering Systems
The aim of the research group is to apply formal methods to modelling, verification and synthesis of engineering systems. The domains range from timed systems to nonlinear cyberphysical systems.
INdAM - Research Unit at the University of Verona
We collect here the scientific activities of the Research Unit of Istituto Nazionale di Alta Matematica INdAM at the University of Verona
Networked Systems and Technologies
Design and verification of communication technologies capable of bringing efficiency and sustainability to key applications such as industry, agriculture, building automation, transport and land management.
Projects
Title Starting date
VVV - Voglio Vedere Verde: virtual simulation of natural ecosystems to express, share and communicate the need for greenery in the environment 12/28/23
PRIN 2022 - Urban Greening for Pervasive and Resilient Proximity 10/18/23
SPACE13 INNOVATION-LAB 1/11/22
Observation of business processes, with objective guarantees of privacy protection, for the prevention of errors and risk situations in an automatic manner at the time of Industry 4.0 (OPERA 4.0) 1/1/21
FA&AF L'Agricoltura del Futuro e gli Alimenti Funzionali: una sfida per la ricerca e il rilancio del territorio veneto 9/10/20
VIR2EM - VIrtualization and Remotization for Resilient and Efficient Manufacturing 9/10/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 3/9/20
Support for data acquisition, management and analysis in the context of "smart-land" applications 1/27/20
Model-Based Design and Verication Flow for Embedded Vision Applications 2/26/19
Extension of a mobile application for customer relationship management 4/1/18
Computer Engineering for Industry 4.0 1/1/18
COREWOOD - Riposizionamento competitivo del la filiera del legno 11/7/17
GHOTEM - Global House Thermal & Electrical Energy Management 11/7/17
I-PLANTS: studenti in cammino nel verde 2.0 6/1/17
Development of a first version of statistical localization techniques for sports and simulation tests 4/3/17
Improvement of ICT aspects in Parco Alpi Liguri 3/30/17
Implementation of a mobile app for customer relationship management 3/23/17
DARE - Directional Augmented REality 3/6/17
Directional Augmented REality 3/6/17
Development of an ICT platform for sport performance analysis 12/13/16
Implementation of a mobile app prototype to manage camping-guest relationship: study for graphic user interface and functionality 11/28/16
A framework for efficient TLM modeling and simulation of smart systems 2/29/16
EXPO-AGRI - EXtra-field Plant Observation for monitoring and forecast of agricultural infections - Joint Projects 2015 2/1/16
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale 9/10/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) 1/1/15
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center) 12/1/14
Automatic process control for energy saving and resource recovery in waste water management 3/28/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 5/1/12
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 9/1/11
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems 8/23/11
Tools for cOoperating Objects applications Life-cycle (TOOL) 3/1/10
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) 1/27/10
Architetture per la gestione integrata di sistemi di rete 1/1/10
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori 1/1/10
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici 4/6/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 11/7/08
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007) 9/22/08
C4C - Control for Coordination of Distributed Systems 5/1/08
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) 12/17/07
A multimedia platform for ZigBee based home automation (Z-Home) 11/1/07
Configurable embedded platform for broadband wireless communications over transportation systems (WirelessTransPlat) 9/1/07
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) 7/13/07
Modeling and Co-simulation Methods and Tools for the Architectural Exploration and Optimization of Smart Devices (McMEOS) - Joint Project 2005 1/1/07
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life 7/1/06
An embedded networked architecture to monitor the wine supply chain (eWINE) 6/1/06
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) 1/30/06
Ambiente di modellazione e verifica per terminali mobili 12/1/05



Organization

Department facilities

Share