Nicola Bombieri

Nico,  October 28, 2015
Position
Associate Professor
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Research sector (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

Office
Ca' Vignal 2,  Floor 1,  Room 1.49
Telephone
+39 045 802 7094
Fax
+39 045 802 7068
E-mail
nicola|bombieri*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
http://profs.sci.univr.it/~bombieri

Office Hours

Thursday, Hours 10:30 AM - 12:30 PM,   Ca' Vignal 2, Floor 1, room 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 is currently an associate professor with the Department of Computer Science, University of Verona, Italy. His research interests include parallel and heterogeneous architectures, parallel computing, and parallel programming languages. He develops techniques to efficiently parallelize 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, automatic generation of embedded parallel software, 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 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.

Modules

Modules running in the period selected: 53.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Computer Science and Engineering Advanced computer architecture (2019/2020)   6    (Teoria)
(Laboratorio)
Bachelor's degree in Computer Science Programming I [Matricole dispari] (2019/2020)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2018/2019)   6  eLearning (Teoria)
(Laboratorio)
Bachelor's degree in Computer Science Programming I [Matricole pari] (2018/2019)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2017/2018)   6  eLearning
Bachelor's degree in Computer Science Programming I [Cognomi A-L] (2017/2018)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2016/2017)   6  eLearning
Bachelor's degree in Computer Science Programming I (2016/2017)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2015/2016)   6  eLearning
Bachelor's degree in Computer Science Programming I (2015/2016)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2014/2015)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture (2014/2015)   12  eLearning (Esercitazioni)
[I turno A-l] (Laboratorio)
[II turno M-Z] (Laboratorio)
Bachelor's degree in Computer Science Programming I (2014/2015)   12  eLearning (Teoria)
TFA A042 Computer science (secondary school) Fondamenti e programmazione (2014/2015)   6  eLearning DIDATTICA
Master's degree in Computer Science and Engineering Advanced computer architecture (2013/2014)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture (2013/2014)   12  eLearning [I turno A-l] (Laboratorio)
(Esercitazioni)
[II turno M-Z] (Laboratorio)
Bachelor's degree in Business Administration (Verona) Conoscenze per l'accesso: informatica di base (2013/2014)   0  eLearning  
Bachelor's degree in Business Administration (Vicenza) Conoscenze per l'accesso: informatica di base (2013/2014)   0  eLearning  
Master's degree in Computer Science and Engineering Advanced computer architecture (2012/2013)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture (2012/2013)   12  eLearning (Esercitazioni)
[I turno cognomi dalla A alla L] (Laboratorio)
[II turno cognomi dalla M alla Z] (Laboratorio)
Bachelor's degree in Business Administration (Verona) Conoscenze per l'accesso: informatica di base (2012/2013)   0  eLearning  
Bachelor's degree in Business Administration (Vicenza) Conoscenze per l'accesso: informatica di base (2012/2013)   0  eLearning  
Master's degree in Computer Science and Engineering Advanced computer architecture (2011/2012)   6  eLearning
Bachelor's degree in Computer Science Computer Architecture (2011/2012)   12  eLearning (Esercitazioni)
[I turno cognomi dalla A alla L] (Laboratorio)
[II turno cognomi dalla M alla Z] (Laboratorio)
Bachelor's degree in Business Administration (Verona) Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Bachelor's degree in Business Administration (Vicenza) Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Master's degree in Computer Science and Engineering Advanced computer architecture (2010/2011)   6  eLearning
Bachelor's degree in Business Administration (Vicenza) Basic Information Technology Skills (2010/2011)   2  eLearning
Bachelor's degree in Business Administration (Verona) Basic Information Technology Skills (2010/2011)   2  eLearning
Bachelor's degree in Computer Science Computer Architecture (2010/2011)   12  eLearning [I Turno] (Laboratorio)
[II Turno] (Laboratorio)
Master's degree in Computer Science and Engineering Advanced computer architecture (2009/2010)   6  eLearning
Bachelor's degree in Business Administration (Verona) Basic Information Technology Skills (2009/2010)   2   
Bachelor's degree in Computer Science Computer Architecture (2009/2010)   12  eLearning [indirizzo generale] (Laboratorio)
[indirizzo multimediale] (Laboratorio)
Bachelor's degree in Computer Science Operating Systems (2009/2010)   12    [indirizzo multimediale] (Laboratorio)
Bachelor's degree in Business Administration (category 17) (until 2008-2009) Basic Information Technology Skills (2008/2009)   2     
Degree in International Business Studies (Vicenza) (until 2008-2009) Basic Information Technology Skills (2008/2009)   2     
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2008/2009)   10  eLearning Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Computer Architecture (2008/2009)   10  eLearning Laboratorio
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to operating systems (2008/2009)   6    Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Operating Systems (2008/2009)   10    Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Operating Systems (2007/2008)   10    Laboratorio

 

Research groups

INdAM - Unità di Ricerca dell'Università di Verona
Questa pagina è dedicata all'unità di ricerca INdAM dell'Università di Verona.
PARCO
Parallel Computing
Electronic Systems Design (ESD)
Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies
Skills
Topic Description Research area
Advanced Architecture Parallel code for multi and many-core architectures. CUDA, OpenCL, OpenACC, OpenMP, MPI. Cyber-physical systems
Architectures
Embedded system design Design techniques for the automatic generation of embedded hardware/software starting from transactional level models (TLM) and with emphasis on: - TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multicore systems - Hardware description language-based modeling - Middleware-based design Cyber-physical systems
Embedded and cyber-physical systems
Projects
Title Starting date
DigitalRestaurant - a platforma for smart management of restaurant services 3/1/19
Model-Based Design and Verication Flow for Embedded Vision Applications 2/26/19
High-Performance Decision Support System to Diagnose Uncharacterized Eye Diseases 3/9/18
GHOTEM - Global House Thermal & Electrical Energy Management 11/7/17
The Translation Wiki project 11/18/13
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 9/1/11
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) 7/15/11
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) 1/1/11
AuTOMatic verifICation tool for embedded software (ATOMIC) 5/5/10
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) 1/27/10
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 10/1/09
Reliability aware methods for robust design technology (RELMUST) 7/6/09
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 9/22/08
An EFSM-based Framework for Designing and Verifying Embedded Software (EFFORT) 1/1/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 1/1/08
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 6/1/06
Ambiente di modellazione e verifica per terminali mobili 12/1/05




Organization

Department facilities