Present and Past Research Interests

Manuel Mazzara

“I disapprove of what you say,

but I will defend to the death

your right to say it”

Evelyn Beatrice Hall

Present and Past Research Interests

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

Recovery Framework of WS 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 DataTypes 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

Computer Science Professional Experience

2008: 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.

PhD Schools

2004: BISS 04 Bertinoro (Italy)

2003: Software Engineering, Salerno (Italy)

2003: EEF Global Computing Summer School, Edinburgh (UK)

(Some) Conferences and Workshops Organization

WSFM 2006 (PC)

SOAP at SAC 2009 (chair)

UML&FM 2009 (PC)

DTW 2009 (chair)

SOCE 2010 (PC)

POFI 2010 (PC)

SOAP at SAC 2010 (chair)

Projects

DEPLOY Industrial deployment of system engineering methods providing high dependability and productivity

SemBiz Semantic Business Process Management for flexible dynamic value chains

COSPA Consortium for Open Source Software in the Public Administration

NAPI Network Aware Programming and Interoperability

Teaching Experience

Component-based Development

Software Reliability

Object Oriented Programming and Java

Foundation of Computation and Programming Languages

Complexity Theory

Business Plan Competitions

2005: Competition for project grant funded by Camera di Commmercio della Repubblica di San Marino, Repubblica di San Marino

2005: Finalist in Nuove Idee Nuove Imprese Competition - Rimini (Italy)

Business Idea: “A Software Framework for Quality Improvement in Enterprises”

2004: Finalist in Start Cup Competition –Bologna (Italy)

Business Idea: “A Software Environment for Indirect Costs Detection in Enterprises”

2004: Finalist in Nuove Idee Nuove Imprese Competition - Rimini (Italy)

Business Idea: “A Software Environment for Indirect Costs Detection in Enterprises”

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; 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; non conventional thinking is appreciated

Relevant Papers

Nicola Dragoni, Manuel Mazzara

A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way

WSFM 2009

Manuel Mazzara

Deriving Specifications of Dependable Systems: toward a Method

EWDC 2009

Zhixian Yan, Manuel Mazzara, Emilia Cimpian, Alexander Urbanec

Business Process Modeling: Classifications and Perspectives

BPSC 2007

Zhixian Yan, Emilia Cimpian, Michal Zaremba, Manuel Mazzara

BPMO: Semantic Business Process Modeling and WSMO Extension