Manuel Mazzara achieved his Masters in 2002 and his Ph.D in 2006 at the University of Bologna. His thesis was based on Formal Methods for Web Services Composition.

During 2000 he was a Technical Assistant at Computer Science Laboratories (Bologna, Italy). In 2003 he worked as Software Engineer at Microsoft (Redmond, USA). In 2004 and 2005 he worked as a free lance consultant and teacher in Italy.

In 2006 he was an assistant professor at the University of Bolzano (Italy) and in 2007 a researcher and project manager at the Technical University of Vienna (Austria).

Between 1995 and 2007 he worked also as a system administrator, receptionist, librarian assistant and in security services. He is interested in literature, music, psychology, sport and traveling.

Currently he is a Research Associate at the Newcastle University (UK) working on the DEPLOY project.

Main present and past research interests are related to the following fields:

[Concurrency]: Mobile Process Calculi, Rely/guarantee reasoning [Methods]: Methods for Deriving Specifications, Agile Methods and Extreme Programming [BPM]: Business Processes, Business to Business Integration, Long Running Transactions for B2B [Web Services Composition]: Web Services Technologies, Foundations of Web Services Composition, WS-BPEL and WSCDL, Recovery Framework of Composition Languages, Semantic Discovery, Semantic Composition [Software Engineering]: Software Metrics, Component-based development, Software Environments for Costs Detection and Quality Improvement in Enterprises [Data types]: Standard Data Types for pi-like Calculi, XML Data Types for the pi-calculus, Query Languages for Semistructured Data [Dependability]: Dependable systems, Software Reliability Theory [Requirements]: Problem Frames approach