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
Fax
+39 045 802 7068
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, 236 KB, 23/09/20)
  • pdf   CV_ITA   (pdf, it, 236 KB, 17/10/17)

Nicola Bombieri is currently an associate professor with the Department of Computer Science, University of Verona, Italy. His research interests include parallel and heterogeneous architectures, edge computing, and parallel programming languages. He develops techniques to customize efficient software applications for multicore, manycore, heterogeneous architectures targeting performance, power, and energy efficiency. His research field also includes electronic design automation (EDA) applied to Smart Systems modeling and verification, hardware description languages (HDLs), EDA applied to Systems Biology for network modeling and simulation. He serves as a technical program committee member, program chair, workshops/special sessions chair at ACM/IEEE conferences like DAC, DATE, ICCD, MCSoC, SIES, ECSI FDL, CODES/ISSS, MEMOCODE, DSD, VLSI-SoC, ETS. He is author of more than 100 publications in international journals and conferences. He is an editor of two books.
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 parallel programming techniques for parallel architectures and software applications for edge computing has been awarded by NVIDIA Corporation and, currently, it hosts 5 PhD students, 1 PostDoc, 3 Master students, and 8 intern students (for bachelor and master degree stage). The PARCO Lab serves as multidisciplinary research laboratory for applying advanced and parallel architectures to Embedded Systems, Robotics, Artificial Intelligence, Bioinformatics and Systems Biology with national and international research groups.

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 62.
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 (2021/2022)   6  eLearning (Teoria)
(Laboratorio)
Laurea magistrale in Medical bioinformatics Architectures and systems for biological data processing (2021/2022)   6    (Teoria)
(Laboratorio)
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 (Teoria)
(Laboratorio)
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 (Esercitazioni)
[II turno M-Z] (Laboratorio)
[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 [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  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 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  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

 

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
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