Manuel Mazzara’s Research Homepage

“I disapprove of what you say,

but I will defend to the death

your right to say it”

Evelyn Beatrice Hall

"There are no facts,

only interpretations."

Friedrich Nietzsche

Personal Profile

Strengths Good Team Player, collaborative with colleagues avoiding conflicts; eager in sharing knowledge; in the appropriate environment a good motivator ; passionate and curious; motivated in self-improving; some ability in communication; tend to be proactive and self-driven; non conventional thinking is appreciated

Weaknesses Problems in non collaborative environments; problems when only working on repetitive and not creative tasks; difficulties in handling too many concurrent tasks; frustrated when forced to maximize quantity and not quality; might show frustration if isolated for too long; non conventional thinking is appreciated

Present and Past Research Interests Concurrency Mobile Process Calculi Rely/guarantee reasoning Web Services Composition Web Services Technologies Foundations  of WS Composition WS-BPEL and WS-CDL Recovery Framework of Composition Languages Semantic Discovery Semantic Composition Methods Methods for Deriving Specifications Agile Methods and Extreme Programming Software Engineering Software Metrics Component-based development Software Environments for Costs Detection  Quality Improvement in Enterprises Requirements Problem Frames approach BPM Business Processes Business to Business Integration Long Running Transactions for B2B Data types Standard DataTypes for pi-like Calculi XML Data Types for the pi-calculus Query Languages for Semistructured Data Dependability Dependable systems Software Reliability Theory	Computer Science Professional Experience 2008-2011: Research Associate at Newcastle University (UK) 2007: Research Assistant at Vienna University of Technology (Austria) 2006: Assistant Professor at the University of Bolzano (Italy) 2004/2005: Consultant at Efeso SRL, Bologna (Italy) 2004: Software Consultant at CARIM and Generali Assicurazioni, Rimini (Italy) 2003-2006: PhD Student at the University of Bologna (Italy) 2003: Intern at Microsoft, Redmond (WA, USA)
	Education Background 2006 PhD in Computer Science, University of Bologna (Italy) Thesis:”Toward Abstractions for Web Services Composition” 2002 Master in Computer Science, University of Bologna (Italy) Thesis: “Fusion Calculus with Abstract Data Types” Nomination for Best Thesis of the Year Award 1995 "Perito Industriale Capotecnico" Diploma Technical Institute"B.Pascal", Cesena (Italy) (FC), Italy, Specialization in Computer Science.
	Links Manuel Mazzara Full CV (November 2011) [PDF] Recommendations [PDF] Linkedin Profile [External Link]