
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 research interests are related to the following fields:
* Foundations of Concurrent Systems
Mobile Process Calculi, Foundational Investigation of Concurrent Programming Languages, Design and Implementation of Concurrent Programming Languages, Network-Aware Programming Languages and Virtual Machines, Standard Data Types for pi-like Calculi, XML Data Types for the pi-calculus, Query Languages for Semi-structured Data
* BPM and SOA
Business Processes, Business to Business Integration, Long Running Transactions for B2B, Web Services Technologies, Workflow Languages for Web Services, Foundations of Web Services Composition, WS-BPEL and WS-CDL, Recovery Framework of Composition Languages, Orchestration Engines Design and Optimization, Semantic Discovery, Semantic Composition
* Software Engineering
Software Reliability Theory, Agile Methods and Extreme Programming, Software Metrics, Component-based development, Software Environments for Costs Detection and Quality Improvement in Enterprises
Mobile Process Calculi, Workflow Languages for Web Services, Foundations of Web Services Composition
(Research industry)
2008 — Present (less than a year)
(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