Nicola Bombieri

Nico,  October 28, 2015
Position
Full Professor
Sections
Ingegneria e Fisica
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, 378 KB, 02/10/23)
  • pdf   CV_ITA   (pdf, it, 369 KB, 02/10/23)

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
Dottorato in Ingegneria dei Sistemi Intelligenti Modellazione e verifica di sistemi digitali (2024/2025)   1.5    0.5 
Master's degree in Computer Engineering for Robotics and Smart Industry Advanced Computer Architectures (2023/2024)   6  eLearning (Parte I)
(Parte II)
Master's degree in Medical Bioinformatics Parallel programming (2023/2024)   6  eLearning (Teoria)
(Laboratorio)
Bachelor's degree in Human Centered Medical System Engineering Programming languages and programing tools with laboratory (2023/2024)   12  eLearning (Teoria)
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  eLearning (Teoria)
(Laboratorio)
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 Lezioni Dottorandi (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    (Esercitazioni)
[I turno A-l] (Laboratorio)
[II turno M-Z] (Laboratorio)
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    [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     
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    (Esercitazioni)
[II turno cognomi dalla M alla Z] (Laboratorio)
[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   
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)
Degree in International Business Studies (Vicenza) (until 2008-2009) Basic Information Technology Skills (2008/2009)   2     
Bachelor's degree in Business Administration (category 17) (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: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

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




Organizzazione

Share