
Research Associate at University of Newcastle
Newcastle upon Tyne, United Kingdom

Research Associate at University of Newcastle
Newcastle upon Tyne, United Kingdom
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
Formal Methods, Concurrency, Specification of Systems, Dependability, Rigorous Development
(Research industry)
2008 — Present (1 year )
Working on deploying Formal Methods in industry
(Educational Institution; Research industry)
November 2006 — July 2007 (9 months)
Working on Semantic Composition and Discovery of Services.
(Educational Institution; Research industry)
November 2005 — November 2006 (1 year 1 month)
Working on Sotware Engineering, Software Metrics and Agile Methods.
(Educational Institution; Research industry)
January 2003 — April 2006 (3 years 4 months)
Working on Formal Methods for Concurrency and Web Services Composition.
(Privately Held; Higher Education industry)
September 2004 — November 2005 (1 year 3 months)
(Banking industry)
June 2004 — September 2004 (4 months)
(Public Company; Computer Software industry)
December 2002 — May 2003 (6 months)
Working on design and implementation of concurrent languages.
(Research industry)
November 1995 — July 2002 (6 years 9 months)
PhD , Computer Science , 2003 — 2006
My thesis was about formal methods for Web Services Composition.
Master , Computer Science , 1995 — 2002
My thesis was about formal methods for concurrent programming languages.
1990 — 1995
Main subjects: Computer Science and Electronic
* Sport: Soccer, Bike, Jogging, Gym, Karate * Music: Pop, Rock and Italian authors, Some classic authors * Literature: Essay, Narrative and Poetry * Clubbing: Chatting, Dancing, Drinking, Eating * Traveling: History, Cities, Museums, Art, Sea
* Nomination for Best Thesis of the Year Award in 2002
* Arstud University Scholarship from 1995 to 2001;
* PhD National Scholarship from 2003 to 2005
* Third place at the Provincial Karate Championships in 1994