Manuel Mazzara

Current

• Research Associate at Newcastle University

Past

• Researcher and Project Manager at TU Wien
• Assistant Professor at University of Bolzano
• Ph.D Student at University of Bologna

• Computer Science Consultant at EFESO SRL
• Software Consultant at CARIM
• Software Engineer at Microsoft
• Student at University of Bologna

see less...

4 more...

Education

• Università di Bologna
• Università di Bologna
• ITIS Blaise Pascal

see less...

Recommended

22 people have recommended Manuel

Connections

260 connections

Industry

Research

Websites

• My Blog

Manuel Mazzara’s Summary

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

Manuel Mazzara’s Specialties:

Formal Methods, Concurrency, Specification of Systems, Dependability, Rigorous Development

Manuel Mazzara’s Experience

• Research Associate

  Newcastle University

  (Research industry)

  2008 — Present (1 year )

  Working on deploying Formal Methods in industry

• Researcher and Project Manager

  TU Wien

  (Educational Institution; Research industry)

  November 2006 — July 2007 (9 months)

  Working on Semantic Composition and Discovery of Services.

• Assistant Professor

  University of Bolzano

  (Educational Institution; Research industry)

  November 2005 — November 2006 (1 year 1 month)

  Working on Sotware Engineering, Software Metrics and Agile Methods.

• Ph.D Student

  University of Bologna

  (Educational Institution; Research industry)

  January 2003 — April 2006 (3 years 4 months)

  Working on Formal Methods for Concurrency and Web Services Composition.

• Computer Science Consultant

  EFESO SRL

  (Privately Held; Higher Education industry)

  September 2004 — November 2005 (1 year 3 months)

• Software Consultant

  CARIM

  (Banking industry)

  June 2004 — September 2004 (4 months)

• Software Engineer

  Microsoft

  (Public Company; Computer Software industry)

  December 2002 — May 2003 (6 months)

  Working on design and implementation of concurrent languages.

• Student

  University of Bologna

  (Research industry)

  November 1995 — July 2002 (6 years 9 months)

Manuel Mazzara’s Education

• Università di Bologna

  PhD , Computer Science , 2003 — 2006

  My thesis was about formal methods for Web Services Composition.

• Università di Bologna

  Master , Computer Science , 1995 — 2002

  My thesis was about formal methods for concurrent programming languages.

• ITIS Blaise Pascal

  1990 — 1995

  Main subjects: Computer Science and Electronic

Additional Information

Manuel Mazzara’s Websites:

• My Blog

Manuel Mazzara’s Interests:

* 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

Manuel Mazzara’s Groups:

•    UniBO Alumni
•    Service Oriented Architecture Special Interest Group
•    ADI - Italian Ph.D. Association
•    Faculty of Computer Science, Free University of Bolzano/Bozen
•    University of Bologna
•    BolognaIn - Bologna Business Club
•    Formal Methods: Specification, Verification, TCG
•    ACM SIGAPP

Manuel Mazzara’s Honors:

* 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

Manuel Mazzara’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• job inquiries
• expertise requests
• business deals
• reference requests
• getting back in touch