CURRICULUM della prof.ssa Susanna DONATELLI
Susanna Donatelli è professore ordinario nel settore scientifico disciplina INF/01 -- Informatica, e presta servizio didattico presso la Facoltà di Scienze, Matematiche, Fisiche e Naturali dell’Università di Torino e svolge la sua attività di ricerca presso il Dipartimento di Informatica della stessa università.
Susanna Donatelli ha conseguito la Laurea in Scienze dell’Informazione nel 1984 presso l’Università di Torino, il master in Electrical and Computer Engeneering dalla University of Massachussetts ad Amherst (USA) nel 1987, e il titolo di Dottore di Ricerca in Informatica presso le sedi consociate dell’Università di Torino e di Milano nel 1989.
La prof.ssa Donatelli ha insegnato e insegna corsi nell’ambito delle architetture di elaborazioni, delle reti di trasmissione, dell’ingegneria del software e della specifica e verifica di sistemi concorrenti.
La ricerca della prof.ssa Donatelli si svolge nell’ambito della verifica e valutazione dei sistemi, in particolare nella definizione di linguaggi e strumenti per la costruzione e analisi di modelli di sistemi concorrenti, anche in ambito probabilistico. In particolare ha contribuito alla definizione e allo sviluppo delle tecniche di analisi per le Reti di Petri stocastiche, e ha recentemente esteso i suoi interessi alle logiche probabilistiche per la specifica formale della proprietà dei sistemi. Tali tecniche sono state poi applicate in diversi contesti, recentemente anche nell’ambito dell’analisi delle prestazioni e dell’affidabilità dei sistemi di controllo delle reti di trasmissione e distribuzione dell’energia elettrica, e delle interdipendenze presenti nelle così dette “infrastrutture critiche”.
La prof.ssa Donatelli è stato membro dello Steering Committee della serie di conferenze
internazionali sulla valuatazione quantitativa dei sistemi (International Conference on Quantitative Evaluation of SysTems - www.qest.org) ed è membro dello Steering Committee che presiede alle attività internazionali sulle reti di Petri (www.informatik.uni-hamburg.de/TGI/PetriNets/steering- committee), è inoltre “associated editor” per le riviste di settore: IEEE Transactions on Software Engineering (IEEE-TSE) e LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC).
La prof.ssa Donatelli è autrice e co-autrice di numerose pubblicazioni scientifiche pubblicate in ambito internazionale, e del libro “Generalized Stochastic Petri nets” pubblicato da John Wiley Editions.
