ROSSI Sabina

Qualifica Professoressa Associata
Telefono 041 234 8422
E-mail sabina.rossi@unive.it
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
Research Institute Research Institute for Complexity

Attività e competenze di ricerca

Informazioni generali

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: PROGRAMMING LANGUAGES
Area: Informatica

Competenze di ricerca

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

Ricerche sviluppate e in corso

Analisi delle prestazioni

SSD INF/01

Analisi e verifica di sistemi distribuiti

SSD INF/01

Semantica dei linguaggi di programmazione

SSD INF/01

Verifica di proprietà di sicurezza

SSD INF/01

Finanziamenti

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
Gian-Luca DEI ROSSI
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