Nicola Bombieri

Nico,  28 ottobre 2015
Qualifica
Ricercatore
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 1.49
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.49

Curriculum
  • pdf   CV_ENG   (pdf, it, 236 KB, 17/10/17)
  • pdf   CV_ITA   (pdf, it, 236 KB, 17/10/17)

Nicola Bombieri works on parallel and heterogeneous architectures, parallel computing, and parallel programming languages. He develops strategies to parallelize software applications for high-performance computing architectures, including multi-core and many-core architectures targeting performance, power, and energy consumption design constraints. His research field also includes parallel algorithms for network analysis and EDA applied to Systems Biology for network modelling and simulation.
He serves as Technical Program Committee member and General Chair for several ACM/IEEE international conferences (DATE, MCSoC, SIES, VLSI-SoC, FDL, DSD). He has been involved in 6 FP6/FP7 European Projects and several national FSE/Joint Projects as Project and Technical Manager. He has published more than 90 papers on peer-reviewed conference proceedings and journals. He is editor of 1 book and 3 book chapters.
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 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, Systems Biology, and Molecular Biology with national and international research groups.

Insegnamenti

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

PARCO
Parallel Computing
Progettazione di sistemi elettronici (ESD - Electronic Systems Design)
Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate
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
Computer systems organization - 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
Computer systems organization - Embedded and cyber-physical systems
Progetti
Titolo Data inizio
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