Nicola Bombieri

Nico,  28 ottobre 2015
Qualifica
Professore associato
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, 556 KB, 28/09/22)
  • pdf   CV_ITA   (pdf, it, 556 KB, 28/09/22)

Nicola Bombieri received the PhD in Computer Science from the University of Verona in 2008. Since 2018 he is Associate Professor at the Department of Computer Science, University of Verona.

His main research activity focuses on embedded software for artificial intelligence at the edge (edge AI), intelligent video analysis at the edge (edge IVA), heterogeneous architectures, edge computing, parallel computing, and parallel programming languages. He develops and customizes software applications (from artificial intelligence, to computer vision and robotics) for multi-core, many-core, heterogeneous architectures targeting performance, power, and energy efficiency. His research field also includes electronic design automation (EDA), hardware description languages (HDLs), EDA applied to Systems Biology for network modeling and simulation. He served as Program Chair, Publication Chair, Technical Program Committee member, Workshops and Special Sessions Chair  at ACM/IEEE conferences like DAC, DATE, ICCD, HDPC, MCSoC, SIES, ECSI FDL, CODES/ISSS, MEMOCODE, DSD, VLSI-SoC, ETS.

He has been involved in eight FP6/FP7/H2020 European Projects and several national FSE/Joint Projects/POR/RIRR with different roles, from principal investigator to project manager.  He founded and is head of the PARCO Lab at the Department of Computer Science, University of Verona. The PARCO Lab, which goal is the research and development of advanced programming techniques for CPU/GPU architectures has been awarded by NVIDIA Corporation and, currently, it hosts 4 PhD students, 1 PostDoc, 1 Research fellow, and several students (for bachelor and master degree stage). The PARCO Lab serves as multidisciplinary research laboratory for applying heterogeneous and parallel architectures to Robotics, Artificial Intelligence, Bioinformatics, and Systems Biology in collaboration with national and international research groups. He is author of more than 120 publications in international journals and conferences. He is Editor of two books.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 67.
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 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    (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  eLearning
Laurea in Informatica Programmazione I (2015/2016)   12  eLearning (Teoria)
Laurea in Informatica Architettura degli elaboratori (2014/2015)   12  eLearning [II turno M-Z] (Laboratorio)
(Esercitazioni)
[I turno A-l] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2014/2015)   6  eLearning
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2014/2015)   6  eLearning DIDATTICA
Laurea in Informatica Programmazione I (2014/2015)   12  eLearning (Teoria)
Laurea in Informatica Architettura degli elaboratori (2013/2014)   12  eLearning [I turno A-l] (Laboratorio)
(Esercitazioni)
[II turno M-Z] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2013/2014)   6  eLearning
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2013/2014)   0  eLearning  
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2013/2014)   0  eLearning  
Laurea in Informatica Architettura degli elaboratori (2012/2013)   12  eLearning (Esercitazioni)
[II turno cognomi dalla M alla Z] (Laboratorio)
[I turno cognomi dalla A alla L] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2012/2013)   6  eLearning
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2012/2013)   0  eLearning  
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2012/2013)   0  eLearning  
Laurea in Informatica Architettura degli elaboratori (2011/2012)   12  eLearning [I turno cognomi dalla A alla L] (Laboratorio)
(Esercitazioni)
[II turno cognomi dalla M alla Z] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2011/2012)   6  eLearning
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Laurea in Economia Aziendale (Verona) Abilità informatiche di base (2010/2011)   2  eLearning
Laurea in Economia Aziendale (Vicenza) Abilità informatiche di base (2010/2011)   2  eLearning
Laurea in Informatica Architettura degli elaboratori (2010/2011)   12  eLearning [I Turno] (Laboratorio)
[II Turno] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2010/2011)   6  eLearning
Laurea in Economia Aziendale (Verona) Abilità informatiche di base (2009/2010)   2   
Laurea in Informatica Architettura degli elaboratori (2009/2010)   12  eLearning [indirizzo multimediale] (Laboratorio)
[indirizzo generale] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2009/2010)   6  eLearning
Laurea in Informatica Sistemi operativi (2009/2010)   12    [indirizzo multimediale] (Laboratorio)
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2008/2009)   2     
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 Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2008/2009)   10  eLearning Laboratorio
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2008/2009)   10  eLearning 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.

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).
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 ciberfisici
Architectures
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 ciberfisici
Embedded and cyber-physical systems
Progetti
Titolo Data inizio
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

Strutture del dipartimento