DIPARTIMENTO   DI  INFORMATICA
Università di Torino

 My coordinates

Susanna Donatelli 
Università degli Studi di Torino 
Dipartimento di Informatica
Corso Svizzera 185 - 10149 Torino, Italia

E-mail: susi@di.unito.it
Phone: (+39) 011 6706746 
Fax: (+39) 011 751603 

 
Research interests
My main research interests are on performance evaluation and probabilistic verification of discrete event systems based on stochastic Petri nets, high level Petri nets, and stochastic process algebras. In particular my current activity concentrates on the automatic generation of performance models from UML specifications, the modelling of large critical infrastructure while still working on solution methods for GSPN and SWN models.
I am a member of the Petri Nets Steering Committee since 2002, and of the Steering Committee of  the International Conference on Quantitative Evaluation of SysTems (QEST) since 2005.
I have been the local technical responsible of the EEC-IST project 28620  TIRAN  TaIlorable fault toleRANce frameworks for embedded applications (ended November 2000) and of the EEC-IST project 25434 DEPAUDE (ended March  2003) DepAuDE.
I have been  responsible of the workpackage on modelling formalisms of the national project  FIRB-Perf .
I am responsible of WP5 (Analysis of Control System Scenario) of the STREP project FP6-2004-IST-4-027513 CRUTIAL   (CRitical UTility InfrastructurAL Resilience), an IST 6th framework programme project.
I have been  co-chair of the 27th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ATPN2006),  held in Turku, Finland. 2005 Edition was in Miami
I have helped in the  organization of 
QEST2005  that was held in Torino in September 2005, and I am co-chairing, with Prakash Panangaden, QEST2008, the 5th International Conference on the Quantitative Evaluation of Systems, to be held in St. Malo, France, in September 2008.

I am associate editor of the IEEE Transactions on Software Engineering IEEE-TSE and of LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)
 
Recent memberships in International Conferences Program committees
FM2009 (Formal Methods Europe)
QEST2009
QEST2008 (PC co-chair)
PDS2008
QEST2007
PDS 2007
ATPN2007
CoopIS2007
WOSP2007
ATPN2006 (PC co-chair)
EDCC06
CoopIS2005
QEST2005
WOSP2005
EDCC2005
DSN04-PDS
TACAS2004
ISCIS2004
CoopIS2004
BPM2004
TOOLS2003
PNPM2003
NSMC2003
ICATPN2003
BPM2003

Education
I have got a computer science degree from University of Torino in 1984, a Master degree in Electrical and Computer Engeneering  from the University of Massachussetts at Amherst in 1987, and a PhD in Computer Science from the University of Torino in 1989.

Current Position
I am  full professor of computer science at the Dipartimento di Informatica  at the University of Torino

GreatSPN tool for GSPN and SWN
I have co-authored a book on GSPN, and I am part of the GreatSPN tool team.
Teaching activities
In academic year 2008-2009 I teach a course on telecommunication networks and a course  on formal methods for the validation and  evaluation of systems (Specifiche di Processi Concorrenti). Additional information and course material is available (in italian) at the site www.educ.di.unito.it

Thesis (first and second level)
A number of thesis are available, see this page (in italian)


Previous teaching activities

In academic year 2007/2008 I teach an introductory course on telecommunication  and a course on formal methods for the validation and  evaluation of systems (Specifiche di Processi Concorrenti).  Additional information and course material is available (in italian) at the site www.educ.di.unito.it
In academic year 2006/2007 I tought an introductory course on telecommunication  and a course on formal methods for the validation and  evaluation of systems (Specifiche di Processi Concorrenti).
In academic year 2005/2006 I tought an introductory course on architecture and a course on formal methods for the validation and  evaluation of systems (Specifiche di Processi Concorrenti).
In academic year 2004/2005 I tought the introductory course on software engeneer   IS  (page in italian) for third year students, I collaborate to the  course on  software engeneering practise (Sperimentazione di Ingegneria del Software) SpIS  (page in italian) for third year students, and  I teach a course on formal methods for the validation and  evaluation of systems (Specifiche di Processi Concorrenti) SPC04-05 (page in italian) .
 
 
 

 Other activities

Susanna Donatelli  is the coordinator  of the commission that  coordinates the teaching activities of the computer science curricula (Commissione Didattica del CCS di Informatica)

 
 

Publications   | Group home page   |   mail to susi@di.unito.it
Department home [Information] [Staff] [Research] [Education] [Library] [WAP Site
[Administration] [Services] [Hostings] [News and events]

Administrator:wwwadm@di.unito.it Last update: Jan 03, 2001