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

Modules

Modules running in the period selected: 67.
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 Engineering for Robotics and Smart Industry Advanced Computer Architectures (2022/2023)   6  eLearning (Parte II)
(Parte I)
Master's degree in Medical Bioinformatics Parallel programming (2022/2023)   6    (Laboratorio)
(Teoria)
Bachelor's degree in Human Centered Medical System Engineering Programming languages and programing tools with laboratory (2022/2023)   12  eLearning (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Advanced Computer Architectures (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Master's degree in Medical Bioinformatics Architectures and systems for biological data processing (2021/2022)   6  eLearning (Laboratorio)
(Teoria)
Bachelor's degree in Computer Science Programming I [Matricole dispari] (2021/2022)   12  eLearning (Teoria)
Master's degree in Medical Bioinformatics Architectures and systems for biological data processing (2020/2021)   6  eLearning (Laboratorio)
(Teoria)
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 (Laboratorio)
(Teoria)
PhD in Computer Science Attività didattica dottorato (2019/2020)   50  eLearning
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   
Bachelor's degree in Computer Science Programming I (2015/2016)   12    (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2014/2015)   6   
Bachelor's degree in Computer Science Computer Architecture (2014/2015)   12    [II turno M-Z] (Laboratorio)
[I turno A-l] (Laboratorio)
(Esercitazioni)
Bachelor's degree in Computer Science Programming I (2014/2015)   12    (Teoria)
TFA A042 Computer science (secondary school) Fondamenti e programmazione (2014/2015)   6    DIDATTICA
Master's degree in Computer Science and Engineering Advanced computer architecture (2013/2014)   6   
Bachelor's degree in Computer Science Computer Architecture (2013/2014)   12    [II turno M-Z] (Laboratorio)
(Esercitazioni)
[I turno A-l] (Laboratorio)
Bachelor's degree in Business Administration (Vicenza) Subject requirements: basic omputer science (2013/2014)   0     
Bachelor's degree in Business Administration (Verona) Subject requirements: basic omputer science (2013/2014)   0     
Master's degree in Computer Science and Engineering Advanced computer architecture (2012/2013)   6   
Bachelor's degree in Computer Science Computer Architecture (2012/2013)   12    [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     
Bachelor's degree in Business Administration (Verona) Subject requirements: basic omputer science (2012/2013)   0     
Master's degree in Computer Science and Engineering Advanced computer architecture (2011/2012)   6   
Bachelor's degree in Computer Science Computer Architecture (2011/2012)   12    [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   
Bachelor's degree in Business Administration (Verona) Basic Information Technology Skills (2010/2011)   2   
Bachelor's degree in Business Administration (Vicenza) Basic Information Technology Skills (2010/2011)   2   
Bachelor's degree in Computer Science Computer Architecture (2010/2011)   12    [II Turno] (Laboratorio)
[I Turno] (Laboratorio)
Master's degree in Computer Science and Engineering Advanced computer architecture (2009/2010)   6   
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    [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    Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2008/2009)   10    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

News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details.

MyUnivr
 

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 based on at-the-edge Intelligent Video Analytics for the rapid self-payment targeting commercial activity with table service 1/1/22
A platform for the development of Artificial Intelligence applications based on Intelligent Video Analysis for commercial catering activities with table service 10/1/20
VIR2EM - VIrtualization and Remotization for Resilient and Efficient Manufacturing 9/10/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