Francesco Stefanni

FotoCv,  3 febbraio 2016
Qualifica
Personale di spin-off
Settore disciplinare
- - -
Ufficio
Ca' Vignal 2,  Piano -2,  Stanza S137-S143
Telefono
+39 045 802 7085
Fax
+39 045 802 7068
E-mail
francesco|stefanni*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

Il ricevimento e' su appuntamento stabilito tramite email.

Insegnamenti

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

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea in Informatica Sistemi operativi (2015/2016)   12  eLearning [Laboratorio 1] (Laboratorio)
Laurea in Informatica Sistemi operativi (2014/2015)   12  eLearning [Laboratorio 1] (Laboratorio)
Laurea in Informatica Sistemi operativi (2013/2014)   12  eLearning [Laboratorio 1] (Laboratorio)
(Laboratorio Teoria)
Laurea in Informatica Sistemi operativi (2012/2013)   12  eLearning [Laboratorio 1] (Laboratorio)
Laurea in Informatica Sistemi operativi (2011/2012)   12  eLearning [Laboratorio 1] (Laboratorio)
Laurea in Informatica Sistemi operativi (2010/2011)   12    [Laboratorio 1] (Laboratorio)
[Laboratorio 2] (Laboratorio)

 

Gruppi di ricerca

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
Sistemi di rete Tecniche per la progettazione di sistemi di rete, particolarmente orientate a: - progettazione di protocolli e architetture di rete - valutazione delle prestazioni di sistemi di rete - caratterizzazione e misura delle reti - reti overlay Sistemi ciberfisici
Networks - Network architectures
Sistemi embedded di rete Tecniche per la progettazione di sistemi embedded di rete, particolarmente orientate a: - co-progettazione di sistemi embedded di rete - co-simulazione di sistemi embedded di rete - progettazione centrata sulla qualità del servizio - reti di sensori e sistemi M2M Sistemi ciberfisici
Computer systems organization - Embedded and cyber-physical systems
Progetti
Titolo Data inizio
Definizione di una metodologia (V-box) per la standardizzazione e automazione dell'intero processo di sviluppo di applicazioni embedded in modo conforme al V-model 01/11/13
RTL-to-RTM hierarchical abstraction e TSL-guided testbench generation 02/01/13
Progettazione di sistemi digitali basati su strutture logiche regolari (PRIN 2009) 15/07/11
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) 27/01/10
Architetture per la gestione integrata di sistemi di rete 01/01/10
Modellazione e verifica di sistemi embedded 26/11/09
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici 06/04/09
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite 07/11/08
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007) 22/09/08





Organizzazione

Strutture del dipartimento