Manuel Mazzara

Manuel Mazzara

Research Associate at University of Newcastle

Newcastle upon Tyne, United Kingdom

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
Education
  • Università di Bologna
  • Università di Bologna
  • ITIS Blaise Pascal
Connections
204 connections
Industry
Research
Websites

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 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

Manuel Mazzara’s Specialties:

Mobile Process Calculi, Workflow Languages for Web Services, Foundations of Web Services Composition


Manuel Mazzara’s Experience

  • Research Associate

    Newcastle University

    (Research industry)

    2008Present (less than a year)

  • Researcher and Project Manager

    TU Wien

    (Educational Institution; Research industry)

    November 2006July 2007 (9 months)

    Working on Semantic Composition and Discovery of Services.

  • Assistant Professor

    University of Bolzano

    (Educational Institution; Research industry)

    November 2005November 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 2003April 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 2004November 2005 (1 year 3 months)

  • Software Consultant

    CARIM

    (Banking industry)

    June 2004September 2004 (4 months)

  • Software Engineer

    Microsoft

    (Public Company; Computer Software industry)

    December 2002May 2003 (6 months)

    Working on design and implementation of concurrent languages.

  • Student

    University of Bologna

    (Research industry)

    November 1995July 2002 (6 years 9 months)


Manuel Mazzara’s Education

  • Università di Bologna

    PhD, Computer Science, 20032006

    My thesis was about formal methods for Web Services Composition.

  • Università di Bologna

    Master, Computer Science, 19952002

    My thesis was about formal methods for concurrent programming languages.

  • ITIS Blaise Pascal

    19901995

    Main subjects: Computer Science and Electronic


Additional Information

Manuel Mazzara’s Websites:

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
  •    ADI - Italian Ph.D. Association

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

Public profile powered by: LinkedIn

Create a public profile: Sign In or Join Now

View Manuel’s full profile:

  • See who you and Manuel Mazzara know in common
  • Get introduced to Manuel Mazzara
  • Contact Manuel Mazzara directly

View Full Profile