Sabina ROSSI

Qualifica
Professoressa Ordinaria
Incarichi
Delegata della Rettrice all’Innovazione digitale per la didattica
Telefono
041 234 8422
E-mail
sabina.rossi@unive.it
SSD
INFORMATICA [INF/01]
Sito web
www.unive.it/persone/rossisab (scheda personale)
 http://www.dsi.unive.it/~srossi
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Z.B01 (edificio Zeta B)
Research Institute
Research Institute for Complexity

Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
INFORMATICA [INF/01]
Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca
Internazionale: Europa, America Settentrionale, Estremo Oriente
Lingue conosciute
inglese (scritto: intermedio parlato: intermedio)
Partecipazione a comitati editoriali di riviste/collane scientifiche
IFIP Wireless Days 2012 (PC member), November 21-23, 2012, Dublin, (Ireland).

IFIP Wireless Days 2011 (PC member), October 10-12, 2011, Niagara Falls, Ontario (Canada).

ICUMT 2011 (PC member), 3rd IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2011), October 5-7, 2011, Budapest (Hungary).

CILC 2011 (PC member) 26-esimo Convegno Italiano di Logica Computazionale, 31 Agosto - 2 Settembre 2011, Pescara (Italy).

ICUMT 2010 (PC member), 2nd IEEE International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT 2010), October 18-20, 2010, Moscow (Russia).

IFIP Wireless Days 2010 (PC member and Local Arrangement Chair), October 20-22, 2010, Venice (Italy).

TCS 2010 (PC member) 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), September 20-23, 2010, Brisbane (Australia).

CILC 2010 (PC member) 25-esimo Convegno Italiano di Logica Computazionale, July 7-9, 2010, Rende, Università della Calabria (Italy).
Aree e linee di ricerca
Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: INFORMATION SYSTEMS
Area: Informatica Linea: PROGRAMMING LANGUAGES
Area: Informatica
Modelli formali per analisi qualitative e quantitative di sistemi software
Parole chiave:
Software technology, Network tecnology, Security technology
Codice ATECO:
[62.0] - produzione di software, consulenza informatica e attività connesse
Analisi delle prestazioni
SSD:
INF/01
Analisi e verifica di sistemi distribuiti
SSD:
INF/01
Analysis of Backhaul networks based on Quantum Key Distribution
SSD:
ING-INF/05
Altri membri del gruppo di ricerca:
Peppino FAZIO
Leonardo MACCARI
Andrea MARIN
Diletta OLLIARO
Blockchain Programming Languages
SSD:
INF/01
Altri membri del gruppo di ricerca:
Lorenzo BENETOLLO
Alvise SPANO'
Blockchain Programming Languages
SSD:
INF/01
Altri membri del gruppo di ricerca:
Lorenzo BENETOLLO
Michele BUGLIESI
Alvise SPANO'
Semantica dei linguaggi di programmazione
SSD:
INF/01
Verifica di proprietà di sicurezza
SSD:
INF/01
ADAPT: Accessible Data for Accessible Proto-types in Social Sector
Ente finanziatore:
MIUR
Tipologia:
Bando Smart Cities
Ruolo nel progetto:
NS
Data inizio:
Anno: 2013 Durata mesi: 48
Altri membri del gruppo di ricerca:
Andrea ALBARELLI
Michele BUGLIESI
Riccardo FOCARDI
Flaminia LUCCIO
Andrea MARIN
Salvatore ORLANDO
Alessandra RAFFAETA'
Claudio SILVESTRI
Andrea TORSELLO
CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura
Ente finanziatore:
MIUR
Tipologia:
PRIN
Ruolo nel progetto:
PT
Data inizio:
Anno: 2012 Durata mesi: 24
Altri membri del gruppo di ricerca:
Maria Simonetta BALSAMO
Michele BUGLIESI
Andrea MARIN
FINANZIAMENTO PER BORSE DI DOTTORATO - Studio ed implementazione di modelli formali per l'analisi di reti ad-hoc e reti di sensori
Ente finanziatore:
MIUR
Tipologia:
Altri programmi ministeriali
Ruolo nel progetto:
LD
Data inizio:
Anno: 2008 Durata mesi: 26