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: 69.
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 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 Computer Science Network programming and security (2020/2021)   6    2  (Laboratorio)
4  (Teoria)
Bachelor's degree in Bioinformatics Elementi di sistemi operativi e reti (2020/2021)   12  eLearning 4  ELEMENTI DI RETI (Teoria)
2  ELEMENTI DI RETI (Laboratorio)
Master's degree in Computer Engineering for Robotics and Smart Industry Networked embedded & IoT systems (2020/2021)   6    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 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 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 
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

INdAM - Unità di Ricerca dell'Università di Verona
Questa pagina è dedicata all'unità di ricerca INdAM dell'Università di Verona.
Electronic Systems Design (ESD)
Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies
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
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 competit ivo 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