Marzia Buscemi

				I moved to IMT Lucca Institute for Advanced Studies.

Position

Member of the European IST FET GC2 Integrated Project SENSORIA (Software Engineering for Service-Oriented Overlay Computers).

Formerly, member of the European IST FET GC Integrated Project PROFUNDIS and post-doctoral researcher at the Computer Science Department - University of Pisa.

Publications

A list of my publications.

Research Interests

• Concurrency
• Calculi, meta-models of computation 
• Constraint programming
• Orchestration languages
• Foundational aspects of Service Oriented Computing
• Formal methods for security protocol analysis (see the STA page)

Teaching (in italian)

• Laboratorio di Informatica - Corso di Laurea in Scienze e Tecnologie per l'Ambiente, Università di Pisa. A.A. '07/'08 (II Semestre).
• Informatica Generale - Corso di Laurea in Scienze e Tecnologie per l'Ambiente, Università di Pisa. A.A. '06/'07 (II Semestre).
• Strumenti Informatici di Produttività - Corso di Laurea in Scienze per la Pace, Università di Pisa. A.A. '06/'07 (I Semestre).