Davide Quaglia

  1. Home
  2. Department
  3. People
  4. Davide Quaglia
Foto, February 12, 2014
Position
Associate Professor
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
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
Fax
+39 045 802 7068
E-mail
davide|quaglia*univr|it <== Replace | with . and * with @ to have the right email address.
Curriculum

Davide Quaglia's research interests are focused on networked embedded systems by considering them as a distributed embedded application of the whole system. In particular, he is working on specification, modeling, design exploration, simulation, synthesis with particular emphasis on the role of the network in the distributed embedded system. He is working both on theoretical aspects and tools. Regarding applications of this research, he is focusing on Internet of Things, cyber-physical systems, smart city, smart manufacturing, precision agriculture, location-based applications, traceability, and wearable computing.

Modules

Modules running in the period selected: 74.
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 Bioinformatics Introduction to operating systems and networks (2021/2022)   12    2  ELEMENTI DI RETI (Laboratorio)
2  ELEMENTI DI RETI (Teoria avanzata)
2  ELEMENTI DI RETI (Teoria base)
Master's degree in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2021/2022)   6    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 2  (Laboratorio)
4  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2020/2021)   6  eLearning 6 
PhD in Computer Science Networked embedded Systems and related methodologies to make smart and sustainable environments (2020/2021)   2    2 
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 2  (Laboratorio)
4  (Teoria)
PhD in Computer Science Attività didattica dottorato (2019/2020)   50  eLearning 1 
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 2  (Laboratorio)
4  (Teoria)
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 
Master's degree in Computer Science and Engineering Introduzione alle tecniche di trasmissione multimediale (2016/2017)   2    2 
Bachelor's degree in Computer Science 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  eLearning 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    4  Teoria
1  Laboratorio
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    1  Laboratorio
4  Teoria
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]

 

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 Method 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.
Research interests
Topic Description Research area
Embedded system design Design techniques for the automatic generation of embedded hardware/software starting from transactional level models (TLM) and with emphasis on: - TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multicore systems - Hardware description language-based modeling - Middleware-based design Cyber-physical systems
Embedded and cyber-physical systems
Networking systems Design techniques for networking systems, particularly devoted to: - Protocol Design and Architectures - Performance Evaluation - Network Measurement and characterization - Overlay Networks Cyber-physical systems
Network architectures
Networked embedded systems Design techniques for networked embedded systems, particularly devoted to: - networked embedded systems co-design - networked embedded systems co-simulation - QoS-based design - M2M and sensor network design Cyber-physical systems
Embedded and cyber-physical systems
Projects
Title Starting date
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
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 3/9/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
Realtà Aumentata basata sulla direzione del segnale radio 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