Graziano Pravadelli

  1. Home
  2. Dipartimento
  3. Persone
  4. Graziano Pravadelli
Foto_febbraio_2023, 17 febbraio 2023
Qualifica
Professore ordinario
Sezioni
Ingegneria e Fisica
Settore disciplinare
IINF-05/A - Sistemi di elaborazione delle informazioni
Settore di Ricerca (ERC-2024)
PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems

Settore di Ricerca (ERC)
PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 51
Telefono
+39 045 802 7081
E-mail
graziano|pravadelli*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

Il ricevimento si tiene online tramite zoom previa email per concordare giorno e ora.
 

Curriculum

Graziano Pravadelli si occupa di simulazione e verifica semi-formale di sistemi embedded, ossia dispositivi elettronici per applicazioni specifiche, la cui progettazione è caratterizzata da vincoli sringenti in termini di dimensione, computazione, memoria, consumi e costi. I sistemi embedded vengono usati in molti contesti tra cui, per esempio, impianti industriali, dispositivi medici, elettronica di consumo, elettrodomestici, automobili. Egli inoltre si interessa alle applicazioni dei sistemi embedded per sviluppare soluzioni in ambito di smart living e healthcare.

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Computer Engineering for Intelligent Systems Embedded operating systems (2024/2025)   6    6 
Dottorato in Ingegneria dei Sistemi Intelligenti Modellazione e verifica di sistemi digitali (2024/2025)   1,5    0,5 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Reti di sensori e dispositivi indossabili (2024/2025)   6  eLearning 6 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Sistemi operativi (2024/2025)   6  eLearning 4  (Teoria)
Laurea magistrale in Computer Engineering for Intelligent Systems Systems verification & testing (2024/2025)   6  eLearning 3 
Scuola di Dottorato ACADEMIC PRESENTATION (2023/2024)   1    0,5 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Embedded operating systems (2023/2024)   6  eLearning 6 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Progettazione di app web e mobile tramite react e react native (2023/2024)   3  eLearning 3 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Reti di sensori e dispositivi indossabili (2023/2024)   6  eLearning 6 
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Sistemi operativi (2023/2024)   6  eLearning 4  (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2023/2024)   6  eLearning 3 
Dottorato in Informatica Attività didattica dottorato (2022/2023)   50  eLearning 1 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Embedded operating systems (2022/2023)   6  eLearning 6 
Laurea in Bioinformatica Progettazione di app mobile tramite react native (2022/2023)   3  eLearning 3 
Laurea in Informatica Sistemi operativi (2022/2023)   12  eLearning 8  (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2022/2023)   6  eLearning 3 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Embedded operating systems (2021/2022)   6  eLearning 6 
Laurea in Informatica Sistemi operativi (2021/2022)   12  eLearning 8  (Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Systems verification & testing (2021/2022)   6  eLearning 3 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Embedded operating systems (2020/2021)   6  eLearning 6 
Laurea in Informatica Sistemi operativi (2020/2021)   12  eLearning 8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2020/2021)   6  eLearning 2 
Laurea in Informatica Sistemi operativi (2019/2020)   12  eLearning 8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2019/2020)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2019/2020)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Laurea in Informatica Sistemi operativi (2018/2019)   12  eLearning 8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2018/2019)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2018/2019)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Laurea in Informatica Sistemi operativi (2017/2018)   12  eLearning 8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2017/2018)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2017/2018)   6  eLearning 2 
Laurea in Informatica Sistemi operativi (2016/2017)   12  eLearning 8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2016/2017)   6  eLearning 6 
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2016/2017)   6  eLearning 2 
Laurea in Informatica Sistemi operativi (2015/2016)   12    8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2015/2016)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2015/2016)   6    2 
PAS C310 - Laboratorio di Informatica Industriale Didattica e laboratorio (2014/2015)   7    2  SISTEMI OPERATIVI
Laurea in Informatica Sistemi operativi (2014/2015)   12    8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2014/2015)   6    6 
PAS C310 - Laboratorio di Informatica Industriale Sistemi operativi e reti (2014/2015)   4    2  SISTEMI OPERATIVI
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2014/2015)   6    2 
PAS C300 - Laboratorio di Informatica Gestionale Didattica e laboratorio (2013/2014)   6    1  SISTEMI OPERATIVI
Laurea in Informatica Sistemi operativi (2013/2014)   12    8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2013/2014)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2013/2014)   6    2 
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica [1 semestre] (2012/2013)   3    3 
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica [2 semestre] (2012/2013)   3    3 
Laurea in Informatica Sistemi operativi (2012/2013)   12    8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2012/2013)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2012/2013)   6    2 
Laurea in Scienze delle attività motorie e sportive Abilità informatiche (2011/2012)   2    2 
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica (2011/2012)   3    3 
Laurea in Informatica Sistemi operativi (2011/2012)   12    8  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2011/2012)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2011/2012)   6    2 
Laurea in Scienze delle attività motorie e sportive Abilità informatiche (2010/2011)   2    2 
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica (2010/2011)   3    3 
Laurea in Informatica Sistemi operativi (2010/2011)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2010/2011)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2010/2011)   6    2 
Laurea in Lingue e letterature straniere Informatica (2009/2010)   3    3 
Laurea in Lingue e culture per il turismo e il commercio internazionale - ordinamento fino all'a.a. 2007/2008 (disattivato) Informatica (2009/2010)   3    3 
Laurea in Informatica Sistemi operativi (2009/2010)   12    9  (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Sistemi operativi avanzati (2009/2010)   6    6 
Laurea magistrale in Ingegneria e scienze informatiche Software per sistemi embedded (2009/2010)   6    2 
Laurea in Lingue e culture per il turismo e il commercio internazionale Informatica [II semestre] (2008/2009)   3    3 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2008/2009)   10    4  Laboratorio
6  Teoria
Laurea specialistica in Informatica Sistemi operativi avanzati (2008/2009)   5    4  Teoria
1  Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2007/2008)   10    4  Laboratorio
6  Teoria
Laurea specialistica in Informatica Sistemi operativi avanzati (2007/2008)   5    4  Teoria
1  Laboratorio
Master Universitario in Progettazione e gestione di sistemi di rete (I livello - IV edizione) Sistemi di Elaborazione delle Informazioni di Rete (2006/2007)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2006/2007)   10    6  Teoria
4  Laboratorio
Laurea specialistica in Informatica Sistemi operativi avanzati (2006/2007)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2005/2006)   10    6  Teoria
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2005/2006)   10    4  Laboratorio
Laurea specialistica in Informatica Sistemi operativi avanzati (2005/2006)   5    5 
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2004/2005)   10      Teoria
Laurea specialistica in Informatica Sistemi operativi avanzati (2004/2005)   5     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2003/2004)   10      Laboratorio [Tecnologie e Informatica (A-F)]
  Laboratorio [Informatica (G-Z)]

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.

MyUnivr

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.

Gruppi di ricerca

ESD - Electronic Systems Design
Obiettivo del gruppo di ricerca è applicare l’automazione della progettazione elettronica (EDA) ai sistemi di produzione ciber-fisici (CPPS) e IoT industriale (IIoT) per la modellazione, simulazione, sintesi e test di linee di produzione.
INdAM - Unità di Ricerca dell'Università di Verona
Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona
IoT4Care
Gruppo di ricerca interdipartimentale per la progettazione di sistemi IoT in ambito neurologico e riabilitativo
Sistemi fisici e ciberfisici
Competenze
Argomento Descrizione Area di ricerca
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 Sistemi Ciberfisici e IoT
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 Sistemi Ciberfisici e IoT
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 Sistemi Ciberfisici e IoT
Sistemi fisici e ciberfisici
Progetti
Titolo Data inizio
PREPARE - Personalized Engine for Prostate cancer Evaluation 01/07/23
Analisi tecnologica di una piattaforma per ipovedenti 09/12/21
Scouting tecnologico per la realizzazione di un sistema intelligente per la raccolta dei rifiuti urbani 18/06/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 09/03/20
Sviluppo di una piattaforma virtuale per la verifica automatica di firmware 15/10/19
TREATS Therapeutic Robot in early Autism Trough a Smart System 21/03/19
Model-Based Design and Verication Flow for Embedded Vision Applications 26/02/19
Medical Smart Space 08/01/18
Progetto di eccellenza: Informatica per Industria 4.0 01/01/18
Una piattaforma di coaching virtuale basata su IoT per assistere le persone con sindrome di Down nelle attività della vita quotidiana durante il processo di invecchiamento 01/01/18
PreMANI – Manifattura Predittiva: progettazione, sviluppo e implementazione di soluzioni di Digital Manufacturing per la previsione del la Qualità e la Manutenzione Intelligente 07/11/17
Partecipazione a conferenza "25th IFIP/IEEE International Conference on Very Large Scale Integration" 23/10/17
Progettazione e implementazione di un sistema di controllo e monitoraggio multi protocollo Wireless 01/01/17
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
JP2015 - TOYS - Verso gli smart display industriali 01/01/16
JP2014 - SPAWNE - Rete WSN Smart Pole 02/01/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
The Translation Wiki project 18/11/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 01/11/13
Definizione metodologie adeguate per produrre software certificabile e Formalizzazione processi e metodologia per Attestato conformità del Dipartimento di Informatica 30/07/13
RTL-to-RTM hierarchical abstraction e TSL-guided testbench generation 02/01/13
Sviluppo di un middleware per comunicazioni con dispositivi ZigBee / Enocean (Progetto SAFE HOME 2) 02/01/13
Realizzazione di un sistema innovativo di monitoraggio e controllo basato su sensori senza fili di ultima generazione (Wireless Sensor Network - WSN) 20/07/12
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 01/09/11
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) 15/07/11
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) - Joint Project 2007 01/01/11
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) 14/10/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) 14/10/10
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) 14/10/10
AuTOMatic verifICation tool for embedded software (ATOMIC) 05/05/10
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008) 27/01/10
Architetture per sistemi embedded di controllo e comunicazione 01/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
Modellazione e verifica di sistemi embedded 26/11/09
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 01/10/09
Reliability aware methods for robust design technology (RELMUST) 06/07/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 07/11/08
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 22/09/08
Ambiente basato su EFSM per la progettazione e la verifica di software embedded (EFFORT) - Joint Project 2007 01/01/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 01/01/08
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005 01/01/07
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 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
Tecniche di modellazione di piattaforme per terminali mobili 01/05/04
Modellazione, Simulazione e Validazione di Sistemi su Chip 01/05/02
SYMBAD: Formal Verification in System Level Based Design 01/03/02
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali 01/10/01
Modellazione e Analisi di Sistemi Embedded Distribuiti 01/06/01
Applicazione di una metodologia ibrida per la verifica funzionale 01/05/01



Presidente
Incarico come referente
Incaricato AQ Didattica - Ingegneria per la medicina di innovazione
Incarichi Istituzionali

Graziano Pravadelli
Carica Organo collegiale
componente Collegio dei Docenti del Dottorato in Ingegneria dei Sistemi Intelligenti - Dipartimento Ingegneria per la medicina di innovazione
Presidente del Collegio Didattico interateneo di Ingegneria dell'Informazione Collegio didattico Interateneo di Ingegneria dell’Informazione - Dipartimento Ingegneria per la medicina di innovazione
Comitato Scientifico del Corso di perfezionamento in La gestione della persona con patologia neurologica in contesti protetti e strutture sanitarie e socio-assistenziali - Dipartimento Neuroscienze, Biomedicina e Movimento
Presidente Commissione AQ Laurea triennale in Ingegneria dei Sistemi Medicali per la persona - L-8 - Collegio didattico Interateneo di Ingegneria dell’Informazione - Dipartimento Ingegneria per la medicina di innovazione
componente Commissione AQ RICERCA - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Dipartimento Ingegneria per la medicina di innovazione
Incaricato AQ Didattica Commissione Didattica di Ateneo
componente Commissione Trasversale - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Dipartimento Ingegneria per la medicina di innovazione
componente Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Dipartimento Ingegneria per la medicina di innovazione
componente I e II Fascia - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Dipartimento Ingegneria per la medicina di innovazione
componente (in composizione ristretta) I Fascia - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Dipartimento Ingegneria per la medicina di innovazione
Condividi