Sabina ROSSI
- Qualifica
- Professoressa Ordinaria
- Incarichi
-
Delegata della Rettrice all’Innovazione digitale per la didattica
- Telefono
- 041 234 8422
-
sabina.rossi@unive.it
- SSD
- Informatica [INFO-01/A]
- Sito web
-
www.unive.it/persone/rossisab (scheda personale)
- 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)
Attività e competenze di ricerca
Informazioni generali
- Settore Scientifico Disciplinare (SSD) di afferenza
- Informatica [INFO-01/A]
- 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).
- Principali aree e linee di ricerca del Dipartimento
-
Area:
Informatica Linea:
ARTIFICIAL INTELLIGENCE
Area: Informatica Linea: DISTRIBUTED SYSTEMS
Area: Informatica Linea: INFORMATION 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
- 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'
- Modeling, simulation and analysis of complex systems in astrophysics
-
- SSD:
- INF/01
- Altri membri del gruppo di ricerca:
-
Leone BACCIU
Matteo GRAZIOSO
Marco Salvatore NOBILE
- Semantica dei linguaggi di programmazione
-
- SSD:
- INF/01
- Strumenti di Intelligenza Artificiale per l'analisi di Linguaggi di Programmazione
-
- SSD:
- INFO-01/A
- Altri membri del gruppo di ricerca:
-
Michele BUGLIESI
Dalila RESSI
Alvise SPANO'
Rocco TRIPODI
- 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
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
- Stochastic Differential Equations on GPU for Optimization (SDEGnO)
-
- Ente finanziatore:
- Bando a Cascata del Centro Nazionale ICSC – “National Centre for HPC, Big Data and Quantum Computing” – codice CN00000013, Spoke 3 – “Astrophysics and Cosmos Observation” a valere sui fondi PNRR assegnati al Programma HPC finanziato sui fondi PNRR MUR
- Tipologia:
- Altri programmi ministeriali
- Ruolo nel progetto:
- LD
- Sito di progetto:
- https://www.msnobile.eu/index.php/sdegno-stochastic-differential-equations-on-gpus-for-optimization/
- Data inizio:
- Anno: 2024 Durata mesi: 12
- Altri membri del gruppo di ricerca:
-
Marco Salvatore NOBILE