Marzia Buscemi

				IMT Lucca Institute for Advanced Studies Via San Micheletto, 3 55100 Lucca - Italy		Office: Phone: Fax: E-Mail:	723 +39 0583 4326723 +39 0583 4326564 marzia.buscemi AT imtlucca.it

Position

Research fellow at IMT Lucca Institute for Advanced Studies.

Member of the European Global Computing IST project SENSORIA (Software Engineering for Service-Oriented Overlay Computers).

Formerly, Post-doctoral researcher (assegnista di ricerca) at the Computer Science Department - University of Pisa.

Publications

A list of my publications.

Research Interests

• Foundational aspects of Service Oriented Computing
• Constraint-based specification of Service Level Agreement and Policies
• Orchestration languages
• Calculi, meta-models for mobile distributed systems
• Languages concepts and abstraction mechanisms
• Formal methods for security protocol analysis (see the STA page)