Nicola Bombieri

Nico,  28 ottobre 2015
Qualifica
Ricercatore
Settore disciplinare
ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
Ufficio
Ca' Vignal 2,  Piano 1,  Stanza 1.49
Telefono
+39 045 802 7094
Fax
+39 045 802 7068
E-mail
nicola|bombieri*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
http://profs.sci.univr.it/~bombieri

Orario di ricevimento

giovedì, Ore 10.30 - 12.30,   Ca' Vignal 2, piano 1, stanza 1.49

Curriculum
  • pdf   CV   (pdf, it, 236 KB, 10/01/17)

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2016/2017)   6  eLearning
Laurea in Informatica Programmazione I (2016/2017)   12  eLearning (Teoria)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2015/2016)   6  eLearning
Laurea in Informatica Programmazione I (2015/2016)   12  eLearning (Teoria)
Laurea in Informatica Architettura degli elaboratori (2014/2015)   12  eLearning (Esercitazioni)
[I turno A-l] (Laboratorio)
[II turno M-Z] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2014/2015)   6  eLearning
TFA A042 - Informatica (II grado) Fondamenti e programmazione (2014/2015)   6  eLearning DIDATTICA
Laurea in Informatica Programmazione I (2014/2015)   12  eLearning (Teoria)
Laurea in Informatica Architettura degli elaboratori (2013/2014)   12  eLearning [I turno A-l] (Laboratorio)
(Esercitazioni)
[II turno M-Z] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2013/2014)   6  eLearning
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2013/2014)   0  eLearning  
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2013/2014)   0  eLearning  
Laurea in Informatica Architettura degli elaboratori (2012/2013)   12  eLearning (Esercitazioni)
[I turno cognomi dalla A alla L] (Laboratorio)
[II turno cognomi dalla M alla Z] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2012/2013)   6  eLearning
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2012/2013)   0  eLearning  
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2012/2013)   0  eLearning  
Laurea in Informatica Architettura degli elaboratori (2011/2012)   12  eLearning (Esercitazioni)
[I turno cognomi dalla A alla L] (Laboratorio)
[II turno cognomi dalla M alla Z] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2011/2012)   6  eLearning
Laurea in Economia Aziendale (Verona) Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Laurea in Economia Aziendale (Vicenza) Conoscenze per l'accesso: informatica di base (2011/2012)   0     
Laurea in Economia Aziendale (Vicenza) Abilità informatiche di base (2010/2011)   2  eLearning
Laurea in Economia Aziendale (Verona) Abilità informatiche di base (2010/2011)   2  eLearning
Laurea in Informatica Architettura degli elaboratori (2010/2011)   12  eLearning [I Turno] (Laboratorio)
[II Turno] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2010/2011)   6  eLearning
Laurea in Economia Aziendale (Verona) Abilità informatiche di base (2009/2010)   2   
Laurea in Informatica Architettura degli elaboratori (2009/2010)   12  eLearning [indirizzo generale] (Laboratorio)
[indirizzo multimediale] (Laboratorio)
Laurea magistrale in Ingegneria e scienze informatiche Architetture avanzate (2009/2010)   6  eLearning
Laurea in Informatica Sistemi operativi (2009/2010)   12    [indirizzo multimediale] (Laboratorio)
Laurea in Economia aziendale (classe 17) (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2008/2009)   2     
Laurea in Economia del Commercio internazionale (classe 28) Vicenza (ordinamento fino all'a.a. 2008/09) Abilità informatiche di base (2008/2009)   2     
Laurea in Informatica (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2008/2009)   10  eLearning Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Architettura degli elaboratori (2008/2009)   10  eLearning Laboratorio
Laurea in Bioinformatica (ordinamento fino all'a.a. 2008/09) Elementi di sistemi operativi (2008/2009)   6    Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2008/2009)   10    Laboratorio
Laurea in Informatica Multimediale (ordinamento fino all'a.a. 2008/09) Sistemi operativi (2007/2008)   10    Laboratorio

 

Gruppi di ricerca

PARCO
Parallel Computing
Progettazione di sistemi elettronici (ESD - Electronic Systems Design)
Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate
Competenze
Argomento Descrizione Area di ricerca
Advanced Architecture Parallel code for multi and many-core architectures. CUDA, OpenCL, OpenACC, OpenMP, MPI. Sistemi ciberfisici
Computer systems organization - Architectures
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 Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems
Progetti
Titolo Data inizio
The Translation Wiki project 18/11/13
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development 01/09/11
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) 15/07/11
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) - Joint Project 2007 01/01/11
AuTOMatic verifICation tool for embedded software (ATOMIC) 05/05/10
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) 27/01/10
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES) 01/10/09
Reliability aware methods for robust design technology (RELMUST) 06/07/09
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) 22/09/08
Ambiente basato su EFSM per la progettazione e la verifica di software embedded (EFFORT) - Joint Project 2007 01/01/08
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems 01/01/08
VERTIGO: Verification and Validation of Embedded Systems Design Workbench 01/06/06
Ambiente di modellazione e verifica per terminali mobili 01/12/05




Organizzazione

Strutture del dipartimento