Nicola Bombieri

Nico,  28 ottobre 2015
Qualifica
Professore ordinario
Sezioni
Ingegneria e Fisica
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Settore di Ricerca (ERC)
PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory

PE6_2 - Computer systems, parallel/distributed systems, sensor networks, embedded systems, cyber-physical systems

Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 1.60
Telefono
+39 045 802 7094
E-mail
nicola|bombieri*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~bombieri

Orario di ricevimento

giovedì, Ore 10.30 - 12.30,   Ca' Vignal 2, piano 1, stanza 1.60

Curriculum
  • pdf   CV_ENG   (pdf, en, 378 KB, 02/10/23)
  • pdf   CV_ITA   (pdf, it, 369 KB, 02/10/23)

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Dottorato in Ingegneria dei Sistemi Intelligenti Modellazione e verifica di sistemi digitali (2024/2025)   1,5    0,5 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Advanced computer architectures (2023/2024)   6  eLearning (Parte I)
(Parte II)
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Linguaggi e strumenti di programmazione con laboratorio (2023/2024)   12  eLearning (Teoria)
Laurea magistrale in Medical bioinformatics Parallel programming (2023/2024)   6  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Advanced computer architectures (2022/2023)   6  eLearning (Parte II)
(Parte I)
Laurea interateneo in Ingegneria dei sistemi medicali per la persona Linguaggi e strumenti di programmazione con laboratorio (2022/2023)   12  eLearning (Teoria)
Laurea magistrale in Medical bioinformatics Parallel programming (2022/2023)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Advanced computer architectures (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Laurea magistrale in Medical bioinformatics Architectures and systems for biological data processing (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Laurea in Informatica Programmazione I [Matricole dispari] (2021/2022)   12  eLearning (Teoria)
Laurea magistrale in Medical bioinformatics Architectures and systems for biological data processing (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
Laurea in Informatica Programmazione I [Matricole dispari] (2020/2021)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2019/2020)   6  eLearning (Laboratorio)
(Teoria)
Dottorato in Informatica Attività didattica dottorato (2019/2020)   50  eLearning
Laurea in Informatica Programmazione I [Matricole dispari] (2019/2020)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2018/2019)   6  eLearning (Teoria)
(Laboratorio)
Laurea in Informatica Programmazione I [Matricole pari] (2018/2019)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2017/2018)   6  eLearning
Laurea in Informatica Programmazione I [Cognomi A-L] (2017/2018)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2016/2017)   6  eLearning
Laurea in Informatica Programmazione I (2016/2017)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2015/2016)   6   
Laurea in Informatica Programmazione I (2015/2016)   12    (Teoria)
Laurea in Informatica Architettura degli elaboratori (2014/2015)   12    (Esercitazioni)
[I turno A-l] (Laboratorio)
[II turno M-Z] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2014/2015)   6   
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2014/2015)   6    DIDATTICA
Laurea in Informatica Programmazione I (2014/2015)   12    (Teoria)
Laurea in Informatica Architettura degli elaboratori (2013/2014)   12    [II turno M-Z] (Laboratorio)
(Esercitazioni)
[I turno A-l] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2013/2014)   6   
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2013/2014)   0     
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2013/2014)   0     
Laurea in Informatica Architettura degli elaboratori (2012/2013)   12    [II turno cognomi dalla M alla Z] (Laboratorio)
[I turno cognomi dalla A alla L] (Laboratorio)
(Esercitazioni)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2012/2013)   6   
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2012/2013)   0     
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2012/2013)   0     
Laurea in Informatica Architettura degli elaboratori (2011/2012)   12    [II turno cognomi dalla M alla Z] (Laboratorio)
[I turno cognomi dalla A alla L] (Laboratorio)
(Esercitazioni)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2011/2012)   6   
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Laurea in Economia Aziendale (Verona) Abilità informatiche di base (2010/2011)   2   
Laurea in Economia Aziendale (Vicenza) Abilità informatiche di base (2010/2011)   2   
Laurea in Informatica Architettura degli elaboratori (2010/2011)   12    [II Turno] (Laboratorio)
[I Turno] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2010/2011)   6   
Laurea in Economia Aziendale (Verona) Abilità informatiche di base (2009/2010)   2   
Laurea in Informatica Architettura degli elaboratori (2009/2010)   12    [indirizzo multimediale] (Laboratorio)
[indirizzo generale] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2009/2010)   6   
Laurea in Informatica Sistemi operativi (2009/2010)   12    [indirizzo multimediale] (Laboratorio)
Laurea in Economia del Commercio internazionale (classe 28) Vicenza (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2008/2009)   2     
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2008/2009)   2     
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2008/2009)   10    Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2008/2009)   10    Laboratorio
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di sistemi operativi (2008/2009)   6    Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2008/2009)   10    Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2007/2008)   10    Laboratorio

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 a breve anche tramite l'app Univr.

MyUnivr
 

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
PARCO – Parallel Computing
Obiettivo del gruppo di ricerca è lo sviluppo e ottimizzazione di Software per sistemi di calcolo multi-core CPU/many-core GPU con vincoli di risorse (e.g., Edge Computing) e per sistemi di calcolo ad alte prestazioni (High-performance Computing – HPC).
Sistemi fisici e ciberfisici
Competenze
Argomento Descrizione Area di ricerca
Architetture avanzate e parallele Applicazioni Software parallele per architeture multi- (multiprocessore) e many-core (GPU). Linguaggi e ambienti per la programmazione parallela: CUDA, OpenCL, OpenACC, OpenMP, MPI. Sistemi fisici e ciberfisici
Sistemi fisici e ciberfisici
Progettazione di sistemi embedded 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 fisici e ciberfisici
Sistemi fisici e ciberfisici
Progetti
Titolo Data inizio
ADAPT: Automated, dynamic, quantitative assessment in Telemedicine of Postural Abnormalities in Parkinson’s disease through augmented human pose estimation software 01/07/22
Una piattaforma basata su Intelligent Video Analytics at-the-edge per il pagamento digitale automatico in esercizi pubblici con servizio al tavolo. 01/01/22
JP2019 - Una piattaforma per lo sviluppo di applicazioni di intelligenza artificiale basata su analisi intelligente di video per attività commerciali di ristorazione con servizio al tavolo 01/10/20
VIR2EM - Virtualizzazione e remotizzazione per una manifattura efficiente e resiliente 10/09/20
EDIPO: A computational solution for bringing neuroimaging genetic into translational research 01/04/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 09/03/20
ADAIR - Dall'inquinamento atmosferico all'inquinamento cerebrale: nuovi biomarcatori per capire il legame tra inquinamento atmosferico e morbo di Alzheimer 01/01/20
DigitalRestaurant - una piattaforma per la gestione intelligente dei servizi di ristorazione 01/03/19
Model-Based Design and Verication Flow for Embedded Vision Applications 26/02/19
JP2018 - Analisi e progettazione piattaforma per il supporto alle decisioni (DSS) ad alte prestazioni per la diagnosi di malattie oculari 09/03/18
Progetto di eccellenza: Informatica per Industria 4.0 01/01/18
GHOTEM - Global House Thermal & Electrical Energy Management 07/11/17
Modelli computazionali ad alte prestazioni per l'estrazione l ‘integrazione di informazioni biomediche 01/01/17
Integrazione di basi di conoscenza di reazioni avverse spontanee nazionali e internazionali per la scoperta di modelli nella farmacovigilanza 01/01/16
The Translation Wiki project 18/11/13
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
AuTOMatic verifICation tool for embedded software (ATOMIC) 05/05/10
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) 27/01/10
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 01/10/09
Reliability aware methods for robust design technology (RELMUST) 06/07/09
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
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 01/06/06
Ambiente di modellazione e verifica per terminali mobili 01/12/05




Organizzazione

Condividi