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

Modules

Modules running in the period selected: 61.
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 Medical Bioinformatics Architectures and systems for biological data processing (2021/2022)   6    (Laboratorio)
(Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Advanced computer architectures (2021/2022)   6    (Teoria)
(Laboratorio)
Master's degree in Medical Bioinformatics Architectures and systems for biological data processing (2020/2021)   6  eLearning (Teoria)
(Laboratorio)
Bachelor's degree in Computer Science Programming I [Matricole dispari] (2020/2021)   12  eLearning (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2019/2020)   6  eLearning (Teoria)
(Laboratorio)
Bachelor's degree in Computer Science Programming I [Matricole dispari] (2019/2020)   12  eLearning (Teoria)
PhD in Computer Science Attività didattica dottorato (2019/2020)   50  eLearning
Master's degree in Computer Science and Engineering Advanced computer architecture (2018/2019)   6  eLearning (Laboratorio)
(Teoria)
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 [II turno M-Z] (Laboratorio)
[I turno A-l] (Laboratorio)
(Esercitazioni)
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)
[II turno M-Z] (Laboratorio)
(Esercitazioni)
Bachelor's degree in Business Administration (Vicenza) Subject requirements: basic omputer science (2013/2014)   0  eLearning  
Bachelor's degree in Business Administration (Verona) Subject requirements: basic omputer science (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 [II turno cognomi dalla M alla Z] (Laboratorio)
[I turno cognomi dalla A alla L] (Laboratorio)
(Esercitazioni)
Bachelor's degree in Business Administration (Vicenza) Subject requirements: basic omputer science (2012/2013)   0  eLearning  
Bachelor's degree in Business Administration (Verona) Subject requirements: basic omputer science (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 [I turno cognomi dalla A alla L] (Laboratorio)
[II turno cognomi dalla M alla Z] (Laboratorio)
(Esercitazioni)
Bachelor's degree in Business Administration (Verona) Subject requirements: basic omputer science (2011/2012)   0     
Bachelor's degree in Business Administration (Vicenza) Subject requirements: basic omputer science (2011/2012)   0     
Master's degree in Computer Science and Engineering Advanced computer architecture (2010/2011)   6  eLearning
Bachelor's degree in Business Administration (Verona) Basic Information Technology Skills (2010/2011)   2  eLearning
Bachelor's degree in Business Administration (Vicenza) Basic Information Technology Skills (2010/2011)   2  eLearning
Bachelor's degree in Computer Science Computer Architecture (2010/2011)   12  eLearning [II Turno] (Laboratorio)
[I 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 multimediale] (Laboratorio)
[indirizzo generale] (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's degree in Multimedia Information Technology (until 2008-2009) Computer Architecture (2008/2009)   10  eLearning Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) 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

Electronic Systems Design (ESD)
The aim of the research group is to apply electronic design automation (EDA) techniques to cyber-physical production systems (CPPSs) and Industrial IoT (IIoT) for modeling, simulation, synthesis and testing of production lines.
INdAM - Research Unit at the University of Verona
We collect here the scientific activities of the Research Unit of Istituto Nazionale di Alta Matematica INdAM at the University of Verona
IoT4Care
Interdepartmental research group for the design of IoT systems in the neurological and rehabilitation fields
PARCO – Parallel Computing
The aim of the research group is the development and optimization of Software targeting multi-core CPU/many-core GPUs for resource constrained computing platform (e.g., Edge Computing) and for High-performance Computing (HPC) platforms.
Research interests
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
A platform for the development of Artificial Intelligence applications based on Intelligent Video Analysis for commercial catering activities with table service 10/1/20
EDIPO: A computational solution for bringing neuroimaging genetic into translational research 4/1/20
ROS-based design and synthesis of monitors for semi-formal verification of robotics applications 3/9/20
ADAIR - From air pollution to brain pollution - novel biomarkers to unravel the link of air pollution and Alzheimer's disease 1/1/20
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
Computer Engineering for Industry 4.0 1/1/18
GHOTEM - Global House Thermal & Electrical Energy Management 11/7/17
High performing computational models for biomedical information extraction and integration 1/1/17
Integrating national and international spontaneous adverse drug reaction knowledge bases for pattern discovery in pharmacovigilance. 1/1/16
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