Sabina ROSSI

Position
Full Professor
Roles
Rector's delegate for digital innovation for teaching
Telephone
041 234 8422
E-mail
sabina.rossi@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/people/rossisab (personal record)
 http://www.dsi.unive.it/~srossi
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Z.B01 (Zeta B building)
Research Institute
Research Institute for Complexity

Activities and research skills

Scientific sector (SSD)
INFORMATICA [INF/01]
Geographic areas in which the research experience mainly applies
Internazionale: Europa, America Settentrionale, Estremo Oriente
Known languages
inglese (scritto: intermedio parlato: intermedio)
Participation in editorial boards of scientific journals/book series
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).
Areas and research fields
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
Keywords:
Software technology, Network tecnology, Security technology
ATECO code:
[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
Other members of the research group:
Peppino FAZIO
Leonardo MACCARI
Andrea MARIN
Diletta OLLIARO
Blockchain Programming Languages
SSD:
INF/01
Other members of the research group:
Lorenzo BENETOLLO
Alvise SPANO'
Blockchain Programming Languages
SSD:
INF/01
Other members of the research group:
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
Funding body:
MIUR
Type:
Bando Smart Cities
Role in the project:
NS
Starting date:
Year: 2013 Length in months: 48
Other members of the research group:
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
Funding body:
MIUR
Type:
PRIN
Role in the project:
PT
Starting date:
Year: 2012 Length in months: 24
Other members of the research group:
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
Funding body:
MIUR
Type:
Altri programmi ministeriali
Role in the project:
LD
Starting date:
Year: 2008 Length in months: 26