Sabina ROSSI - Attività e competenze di ricerca
|
Settore Scientifico Disciplinare (SSD) di afferenza
|
|
|
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
Semantica dei linguaggi di programmazione
Verifica di proprietà di sicurezza
Analisi e verifica di sistemi distribuiti
Analisi delle prestazioni
Finanziamenti
FINANZIAMENTO PER BORSE DI DOTTORATO - Studio ed implementazione di modelli formali per l'analisi di reti ad-hoc e reti di sensori
|
Tipologia
|
-
Fondo per il sostegno dei giovani e per favorire la mobilità degli studenti
|
|
Data inizio
|
-
Anno: 2008 Durata mesi: 26
|
|
Altri membri del gruppo di ricerca
|
|
|
CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura
|
Data inizio
|
-
Anno: 2012 Durata mesi: 24
|
|
Altri membri del gruppo di ricerca
|
|
|
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).
Feed RSS degli avvisi personali
