Graziano Pravadelli

  1. Home
  2. Department
  3. People
  4. Graziano Pravadelli
Foto_febbraio_2023, February 17, 2023
Position
Full Professor
Sections
Ingegneria e Fisica
Academic sector
IINF-05/A - Information Processing Systems
Research sector (ERC-2024)
PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems

Research sector (ERC)
PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

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

Office Hours

Monday, Hours 2:00 PM - 4:00 PM,   Ca' Vignal 2, Floor 1, room 51
Normally, office hours are on Mondays from 2:00 PM to 4:00 PM. However, it is advisable to send an email to schedule an appointment in order to avoid unnecessary waiting in case of unplanned absences or other institutional constraints.

Curriculum

Graziano Pravadelli works on simulation and semi-formal verification of embedded systems, i.e., electronic devices dedicated to specific applications, whose design is characterized by constraints in terms of size, computation, memory, energy consumption and costs. Embedded systems are commonly used in several fields like, for example, industrial plants, medical devices, consumer electronics, household appliances, ecc. He is also interested in the application of embedded systems for developing smart living and healthcare systems solutions.

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's Degree in Computer Engineering for Intelligent Systems Embedded operating systems (2025/2026)   6    6 
Combined Bachelor's + Master's degree in Technological medicine and surgery Genetics (2025/2026)   6    1  TIROCINIO DI RICERCA [Laboratorio IoT4care - Gruppo Prof. Pravadelli]
Bachelor's degree in Computer Engineering for Robotic and Intelligent Systems Operating systems (2025/2026)   6    4  (Theory)
Master's Degree in Computer Engineering for Intelligent Systems Systems verification & testing (2025/2026)   6    3 
Bachelor's degree in Human Centered Medical System Engineering APP REACT PLANNING (2024/2025)   3  eLearning 1 
Master's Degree in in Computer Engineering for Intelligent Systems Embedded operating systems (2024/2025)   6  eLearning 6 
PhD in Intelligent Systems Engineering Modeling and Verification of Digital Systems (2024/2025)   1.5    0.5 
Bachelor's degree in Human Centered Medical System Engineering Operating systems (2024/2025)   6  eLearning 4  (Teoria)
Bachelor's degree in Human Centered Medical System Engineering Sensor network and wearable devices (2024/2025)   6  eLearning 6 
Master's Degree in in Computer Engineering for Intelligent Systems Systems verification & testing (2024/2025)   6  eLearning 3 
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded operating systems (2023/2024)   6  eLearning 6 
Bachelor's degree in Human Centered Medical System Engineering Operating systems (2023/2024)   6  eLearning 4  (Teoria)
Bachelor's degree in Human Centered Medical System Engineering Sensor network and wearable devices (2023/2024)   6  eLearning 6 
Master's degree in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2023/2024)   6  eLearning 3 
Bachelor's degree in Human Centered Medical System Engineering Web and mobile app design using react and react native (2023/2024)   3  eLearning 3 
Scuola di Dottorato ACADEMIC PRESENTATION (2023/2024)   1    0.5 
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded operating systems (2022/2023)   6  eLearning 6 
PhD in Computer Science Lezioni Dottorandi (2022/2023)   50  eLearning 1 
Bachelor's degree in Bioinformatics Mobile app design by using React Native (2022/2023)   3  eLearning 3 
Bachelor's degree in Computer Science Operating Systems (2022/2023)   12  eLearning 8  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2022/2023)   6  eLearning 3 
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded operating systems (2021/2022)   6  eLearning 6 
Bachelor's degree in Computer Science Operating Systems (2021/2022)   12  eLearning 8  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2021/2022)   6  eLearning 3 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2020/2021)   6  eLearning 2 
Master's degree in Computer Engineering for Robotics and Smart Industry Embedded operating systems (2020/2021)   6  eLearning 6 
Bachelor's degree in Computer Science Operating Systems (2020/2021)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2019/2020)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2019/2020)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Bachelor's degree in Computer Science Operating Systems (2019/2020)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2018/2019)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Master's degree in Computer Science and Engineering Design automation of embedded systems (2018/2019)   6  eLearning 1  (Teoria)
1  (Laboratorio)
Bachelor's degree in Computer Science Operating Systems (2018/2019)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2017/2018)   6  eLearning 6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2017/2018)   6  eLearning 2 
Bachelor's degree in Computer Science Operating Systems (2017/2018)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2016/2017)   6  eLearning 6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2016/2017)   6  eLearning 2 
Bachelor's degree in Computer Science Operating Systems (2016/2017)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2015/2016)   6    6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2015/2016)   6    2 
Bachelor's degree in Computer Science Operating Systems (2015/2016)   12    8  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2014/2015)   6    6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2014/2015)   6    2 
Bachelor's degree in Computer Science Operating Systems (2014/2015)   12    8  (Teoria)
PAS C310 Industrial IT workshop Operating Systems and Computer Networks (2014/2015)   4    2  SISTEMI OPERATIVI
PAS C310 Industrial IT workshop Didattica e laboratorio (2014/2015)   7    2  SISTEMI OPERATIVI
Master's degree in Computer Science and Engineering Advanced Operating Systems (2013/2014)   6    6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2013/2014)   6    2 
Bachelor's degree in Computer Science Operating Systems (2013/2014)   12    8  (Teoria)
PAS C300 IT and data management laboratory Didattica e laboratorio (2013/2014)   6    1  SISTEMI OPERATIVI
Master's degree in Computer Science and Engineering Advanced Operating Systems (2012/2013)   6    6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2012/2013)   6    2 
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology [1 semestre] (2012/2013)   3    3 
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology [2 semestre] (2012/2013)   3    3 
Bachelor's degree in Computer Science Operating Systems (2012/2013)   12    8  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2011/2012)   6    6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2011/2012)   6    2 
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology (2011/2012)   3    3 
Bachelor's degree in Sport and Exercise Science Information Technology Skill (2011/2012)   2    2 
Bachelor's degree in Computer Science Operating Systems (2011/2012)   12    8  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2010/2011)   6    6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2010/2011)   6    2 
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology (2010/2011)   3    3 
Bachelor's degree in Sport and Exercise Science Information Technology Skill (2010/2011)   2    2 
Bachelor's degree in Computer Science Operating Systems (2010/2011)   12    9  (Teoria)
Master's degree in Computer Science and Engineering Advanced Operating Systems (2009/2010)   6    6 
Master's degree in Computer Science and Engineering Design automation of embedded systems (2009/2010)   6    2 
Bachelor's degree in Languages and Culture for Tourism and International Commerce (until 2007-2008) (not running) Information Technology (2009/2010)   3    3 
Bachelor's degree in Foreign Languages and Literatures Information Technology (2009/2010)   3    3 
Bachelor's degree in Computer Science Operating Systems (2009/2010)   12    9  (Teoria)
Masters in Computer Science Advanced Operating Systems (2008/2009)   5    1  Laboratorio
4  Teoria
Bachelor's degree in Languages and Cultures for Tourism and International Commerce Information Technology [II semestre] (2008/2009)   3    3 
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2008/2009)   10    6  Teoria
4  Laboratorio
Masters in Computer Science Advanced Operating Systems (2007/2008)   5    1  Laboratorio
4  Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2007/2008)   10    6  Teoria
4  Laboratorio
Masters in Computer Science Advanced Operating Systems (2006/2007)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2006/2007)   10    6  Teoria
4  Laboratorio
Level 1 Masters in Network Planning and Management Sistemi di Elaborazione delle Informazioni di Rete (2006/2007)   5     
Masters in Computer Science Advanced Operating Systems (2005/2006)   5    5 
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2005/2006)   10    6  Teoria
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Operating Systems (2005/2006)   10    4  Laboratorio
Masters in Computer Science Advanced Operating Systems (2004/2005)   5     
Bachelor in Computer Science (until 2008-2009 academic year) Operating Systems (2004/2005)   10      Teoria
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2003/2004)   10      Laboratorio [Tecnologie e Informatica (A-F)]
  Laboratorio [Informatica (G-Z)]

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.
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
Sistemi fisici e ciberfisici
Research interests
Topic Description Research area
Progettazione di sistemi embedded e IoT 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 Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
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 Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
Verifica di sistemi embedded Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
Projects
Title Starting date
PREPARE - Personalized Engine for Prostate cancer Evaluation 7/1/23
Technological scouting of a platform for visually impaired people 12/9/21
Scouting tecnologico per la realizzazione di un sistema intelligente per la raccolta dei rifiuti urbani 6/18/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 3/9/20
Development of a virtual platform for automatic firmware verification 10/15/19
TREATS Therapeutic Robot in early Autism Trough a Smart System 3/21/19
Model-Based Design and Verication Flow for Embedded Vision Applications 2/26/19
Medical Smart Space 1/8/18
Computer Engineering for Industry 4.0 1/1/18
An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome 1/1/18
PreMANI – Manifattura Predittiva: progettazione, sviluppo e implementazione di soluzioni di Digital Manufacturing per la previsione del la Qualità e la Manutenzione Intelligente 11/7/17
Partecipazione a conferenza "25th IFIP/IEEE International Conference on Very Large Scale Integration" 10/23/17
Design and implementation of a monitoring and control system based on multi wireless protocols 1/1/17
A framework for efficient TLM modeling and simulation of smart systems 2/29/16
TOYS - TOward Industrial Smart DisplaYS - Joint Projects 2015 1/1/16
Smart Pole WSN Network 1/2/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
The Translation Wiki project 11/18/13
Definizione di una metodologia (V-box) per la standardizzazione e automazione dell'intero processo di sviluppo di applicazioni embedded in modo conforme al V-model 11/1/13
A verification methodology for embedded software to produce a certification 7/30/13
RTL-to-RTM hierarchical abstraction e TSL-guided testbench generation 1/2/13
A middleware for ZigBee devices 1/2/13
A WSN-based system for monitoring and controlling 7/20/12
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 9/1/11
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) 7/15/11
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) 1/1/11
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) 10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) 10/14/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) 10/14/10
AuTOMatic verifICation tool for embedded software (ATOMIC) 5/5/10
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 1/27/10
Architetture per sistemi embedded di controllo e comunicazione 1/1/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
Modellazione e verifica di sistemi embedded 11/26/09
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 10/1/09
Reliability aware methods for robust design technology (RELMUST) 7/6/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 11/7/08
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 9/22/08
An EFSM-based Framework for Designing and Verifying Embedded Software (EFFORT) 1/1/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 1/1/08
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005 1/1/07
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 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
Tecniche di modellazione di piattaforme per terminali mobili 5/1/04
Modeling, Simulation and Validation of System-On-Chip 5/1/02
SYMBAD: Formal Verification in System Level Based Design 3/1/02
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali 10/1/01
Modellazione e Analisi di Sistemi Embedded Distribuiti 6/1/01
Applicazione di una metodologia ibrida per la verifica funzionale 5/1/01



Chair
Referent posts held
Incaricato AQ Didattica - Department of Engineering for Innovation Medicine
Istitutional duties

Graziano Pravadelli
Office Collegial Body
member Collegio dei Docenti del Dottorato in Ingegneria dei Sistemi Intelligenti - Department Department of Engineering for Innovation Medicine
Presidente del Collegio Didattico interateneo di Ingegneria dell'Informazione Information Engineering Teaching Committee - Department Department of Engineering for Innovation Medicine
member Comitato di coordinamento del Corso di Laurea Magistrale a ciclo unico in Medicina e Chirurgia ad indirizzo tecnologico - Department Medicine
Comitato Scientifico del Corso di perfezionamento in La gestione della persona con patologia neurologica in contesti protetti e strutture sanitarie e socio-assistenziali - Department Neurosciences, Biomedicine and Movement Sciences
member Commissione AQ del Corso di Laurea Magistrale a ciclo unico in Medicina e Chirurgia ad indirizzo tecnologico - Comitato di coordinamento del Corso di Laurea Magistrale a ciclo unico in Medicina e Chirurgia ad indirizzo tecnologico - Department Medicine
Presidente Commissione AQ Laurea triennale in Ingegneria dei Sistemi Medicali per la persona - L-8 - Information Engineering Teaching Committee - Department Department of Engineering for Innovation Medicine
member Commissione AQ RICERCA - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
Incaricato AQ Didattica Commissione Didattica di Ateneo
member Commissione Trasversale - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
member Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
componente (in composizione ristretta) I e II Fascia - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
componente (in composizione ristretta) I Fascia - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
Share