Nicola Bombieri

Nico,  October 28, 2015
Position
Assistant Professor
Disciplinary sector
ING-INF/05 - INFORMATION PROCESSING 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   (pdf, it, 236 KB, 10/01/17)

Modules

Modules running in the period selected: 47.
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 (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

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. Sistemi ciberfisici
Computer systems organization - 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 Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems
Projects
Title Starting date
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