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
Curriculum
  • pdf   CV   (pdf, it, 286 KB, 11/18/16)

Office Hours

Thursday, Hours 10:30 AM - 12:30 PM,   Ca' Vignal 2, floor 1, room 1.49

Insegnamenti

Risultano 45 insegnamenti attivi nel periodo selezionato.
Clicca sull'insegnamento per vedere orari e dettagli del corso

Teachings in the last two academic years
Department/Faculty Name Total credits Online Teacher credits Modules offered by this teacher
Department Computer Science  Advanced computer architecture (2016/2017)   6  eLearning
Department Computer Science  Programming I (2016/2017)   12  eLearning (Teoria)
Department Computer Science  Advanced computer architecture (2015/2016)   6  eLearning
Department Computer Science  Programming I (2015/2016)   12  eLearning (Teoria)
Department Computer Science  Advanced computer architecture (2014/2015)   6  eLearning
Department Informatica  Computer Architecture (2014/2015)   12  eLearning (Esercitazioni)
[I turno A-l] (Laboratorio)
[II turno M-Z] (Laboratorio)
Department Informatica  Programming I (2014/2015)   12  eLearning (Teoria)
Department Computer Science  Fondamenti e programmazione (2014/2015)   6  eLearning DIDATTICA
Department Computer Science  Advanced computer architecture (2013/2014)   6  eLearning
Department Computer Science  Computer Architecture (2013/2014)   12  eLearning [I turno A-l] (Laboratorio)
(Esercitazioni)
[II turno M-Z] (Laboratorio)
Department Business Administration  Conoscenze per l'accesso: informatica di base (2013/2014)   0  eLearning  
Department Business Administration  Conoscenze per l'accesso: informatica di base (2013/2014)   0  eLearning  
Department Computer Science  Advanced computer architecture (2012/2013)   6  eLearning
Department 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)
Department Business Administration  Conoscenze per l'accesso: informatica di base (2012/2013)   0  eLearning  
Department Business Administration  Conoscenze per l'accesso: informatica di base (2012/2013)   0  eLearning  
Department Computer Science  Advanced computer architecture (2011/2012)   6  eLearning
Department 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)
Department Business Administration  Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Department Business Administration  Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Department Computer Science  Advanced computer architecture (2010/2011)   6  eLearning
Department Business Administration  Basic Information Technology Skills (2010/2011)   2  eLearning
Department Business Administration  Basic Information Technology Skills (2010/2011)   2  eLearning
Department Computer Science  Computer Architecture (2010/2011)   12  eLearning [I Turno] (Laboratorio)
[II Turno] (Laboratorio)
Department Computer Science  Advanced computer architecture (2009/2010)   6  eLearning
Department Business Administration  Basic Information Technology Skills (2009/2010)   2   
Department Computer Science  Computer Architecture (2009/2010)   12  eLearning [indirizzo generale] (Laboratorio)
[indirizzo multimediale] (Laboratorio)
Department Computer Science  Operating Systems (2009/2010)   12    [indirizzo multimediale] (Laboratorio)
Department Business Administration  Basic Information Technology Skills (2008/2009)   2     
Department Economics  Basic Information Technology Skills (2008/2009)   2     
Department Computer Science  Computer Architecture (2008/2009)   10  eLearning Laboratorio
Department Computer Science  Computer Architecture (2008/2009)   10  eLearning Laboratorio
Department Computer Science  Introduction to operating systems (2008/2009)   6    Laboratorio
Department Computer Science  Operating Systems (2008/2009)   10    Laboratorio
Department Computer Science  Operating Systems (2007/2008)   10    Laboratorio

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.


 

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