ROSSI Sabina

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

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
Lucia GALLINA
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
Altri membri del gruppo di ricerca Lucia GALLINA