Nicola Bombieri

  1. Home
  2. Department
  3. People
  4. Nicola Bombieri
Nico, October 28, 2015
Position
Full Professor
Sections
Ingegneria e Fisica
Academic sector
IINF-05/A - Information Processing Systems
Research sector (ERC-2024)
PE6_1 - Computer architecture, embedded systems, operating systems

PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems

PE6_7 - Artificial intelligence, intelligent systems, natural language processing

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, 378 KB, 02/10/23)
  • pdf   CV_ITA   (pdf, it, 369 KB, 02/10/23)

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
PhD in Intelligent Systems Engineering Modellazione e verifica di sistemi digitali (part III) (2025/2026)   0.5    0.5 
PhD in Intelligent Systems Engineering Modeling and Verification of Digital Systems (2024/2025)   1.5    0.5 
Master's degree in Medical Bioinformatics Parallel programming (2024/2025)   6  eLearning 3  (Part 2)
3  (Part 1)
Bachelor's degree in Human Centered Medical System Engineering Programming languages and programing tools with laboratory (2024/2025)   12  eLearning 8  (Teoria)
Master's Degree in in Computer Engineering for Intelligent Systems Computer architectures and programming for intelligent systems (2024/2025)   6  eLearning 6 
Master's degree in Computer Engineering for Robotics and Smart Industry Advanced Computer Architectures (2023/2024)   6  eLearning 3  (Parte II)
3  (Parte I)
Master's degree in Medical Bioinformatics Parallel programming (2023/2024)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor's degree in Human Centered Medical System Engineering Programming languages and programing tools with laboratory (2023/2024)   12  eLearning 8  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Advanced Computer Architectures (2022/2023)   6  eLearning 3  (Parte II)
3  (Parte I)
Master's degree in Medical Bioinformatics Parallel programming (2022/2023)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor's degree in Human Centered Medical System Engineering Programming languages and programing tools with laboratory (2022/2023)   12  eLearning 8  (Teoria)
Master's degree in Computer Engineering for Robotics and Smart Industry Advanced Computer Architectures (2021/2022)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Master's degree in Medical Bioinformatics Architectures and systems for biological data processing (2021/2022)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor's degree in Computer Science Programming I [Matricole dispari] (2021/2022)   12  eLearning 7  (Teoria)
Master's degree in Medical Bioinformatics Architectures and systems for biological data processing (2020/2021)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Bachelor's degree in Computer Science Programming I [Matricole dispari] (2020/2021)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2019/2020)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Bachelor's degree in Computer Science Programming I [Matricole dispari] (2019/2020)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2018/2019)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Bachelor's degree in Computer Science Programming I [Matricole pari] (2018/2019)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2017/2018)   6  eLearning 6 
Bachelor's degree in Computer Science Programming I [Cognomi A-L] (2017/2018)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2016/2017)   6  eLearning 6 
Bachelor's degree in Computer Science Programming I (2016/2017)   12  eLearning 8  (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2015/2016)   6    6 
Bachelor's degree in Computer Science Programming I (2015/2016)   12    8  (Teoria)
Master's degree in Computer Science and Engineering Advanced computer architecture (2014/2015)   6    6 
Bachelor's degree in Computer Science Computer Architecture (2014/2015)   12    2  [I turno A-l] (Laboratorio)
1  (Esercitazioni)
2  [II turno M-Z] (Laboratorio)
Bachelor's degree in Computer Science Programming I (2014/2015)   12    8  (Teoria)
TFA A042 Computer science (secondary school) Fondamenti e programmazione (2014/2015)   6    2  DIDATTICA
Master's degree in Computer Science and Engineering Advanced computer architecture (2013/2014)   6    6 
Bachelor's degree in Computer Science Computer Architecture (2013/2014)   12    2  [I turno A-l] (Laboratorio)
2  [II turno M-Z] (Laboratorio)
1  (Esercitazioni)
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    6 
Bachelor's degree in Computer Science Computer Architecture (2012/2013)   12    2  [II turno cognomi dalla M alla Z] (Laboratorio)
2  [I turno cognomi dalla A alla L] (Laboratorio)
1  (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    6 
Bachelor's degree in Computer Science Computer Architecture (2011/2012)   12    1  (Esercitazioni)
2  [II turno cognomi dalla M alla Z] (Laboratorio)
2  [I turno cognomi dalla A alla L] (Laboratorio)
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    6 
Bachelor's degree in Business Administration (Verona) Basic Information Technology Skills (2010/2011)   2    2 
Bachelor's degree in Business Administration (Vicenza) Basic Information Technology Skills (2010/2011)   2    2 
Bachelor's degree in Computer Science Computer Architecture (2010/2011)   12    3  [II Turno] (Laboratorio)
3  [I Turno] (Laboratorio)
Master's degree in Computer Science and Engineering Advanced computer architecture (2009/2010)   6    6 
Bachelor's degree in Business Administration (Verona) Basic Information Technology Skills (2009/2010)   2    2 
Bachelor's degree in Computer Science Computer Architecture (2009/2010)   12    3  [indirizzo multimediale] (Laboratorio)
3  [indirizzo generale] (Laboratorio)
Bachelor's degree in Computer Science Operating Systems (2009/2010)   12    3  [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    2  Laboratorio
Bachelor in Computer Science (until 2008-2009 academic year) Computer Architecture (2008/2009)   10    2  Laboratorio
Bachelor's degree in Bioinformatics (until 2008-2009) Introduction to operating systems (2008/2009)   6    2  Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Operating Systems (2008/2009)   10    4  Laboratorio
Bachelor's degree in Multimedia Information Technology (until 2008-2009) Operating Systems (2007/2008)   10    4  Laboratorio

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.

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
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.
Sistemi fisici e ciberfisici
Research interests
Topic Description Research area
Advanced Architecture Parallel code for multi and many-core architectures. CUDA, OpenCL, OpenACC, OpenMP, MPI. Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
Progettazione di sistemi embedded e IoT 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 Physical and Cyber-physical systems
Sistemi fisici e ciberfisici
Projects
Title Starting date
PREPARE - Personalized Engine for Prostate cancer Evaluation 7/1/23
ADAPT: Automated, dynamic, quantitative assessment in Telemedicine of Postural Abnormalities in Parkinson’s disease through augmented human pose estimation software 7/1/22
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



Coordinator
Referent posts held
Referente d'Area per i Servizi Informatici - Biotechnology
Referent posts held
Referente Comunicazione, Referente per i Servizi Informatici, Referente per l'Orientamento - Department of Engineering for Innovation Medicine
Istitutional duties

Other positions held
Nicola Bombieri
Office Collegial Body
PhD coordinator Collegio dei Docenti del Dottorato in Ingegneria dei Sistemi Intelligenti - Department Department of Engineering for Innovation Medicine
member Computer Science Teaching Committee - Department Computer Science
member Information Engineering Teaching Committee - Department Department of Engineering for Innovation Medicine
member Commissione Servizi agli Studenti - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
member PhD School Board
member Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
componente (in composizione ristretta) I e II Fascia - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
componente (in composizione ristretta) I Fascia - Consiglio di Dipartimento Ingegneria per la Medicina di Innovazione - Department Department of Engineering for Innovation Medicine
Share