Personal Information Name Passport Mail Address Contacts Google Scholar Citations Profile Linkedin Profile Manuel Mazzara Italian School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, UK manuel.mazzara@newcastle.ac.uk (preferred) +44-(0)-191-222-5154 (for urgent matters) http://scholar.google.com/citations?user=th6g2bgaaaaj http://www.linkedin.com/in/manuelmazzara 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 Dynamic Reconfiguration Trust and Social Networks Dependability Concurrency Web Services Composition Methods Software Engineering Requirements BPM Data types Modelling and verification of reconfigurable workflows Trust Ranking Algorithms Dependable systems, Software Reliability Theory Mobile Process Calculi, Rely/guarantee reasoning Web Services Technologies, Foundations of WS Composition, WS-BPEL and WS-CDL, Recovery Framework of Composition Languages, Semantic Discovery, Semantic Composition Methods for Deriving Specifications, Agile Methods and Extreme Programming Software Metrics, Component-based development, Software Environments for Costs Detection, Quality Improvement in Enterprises Problem Frames approach Business Processes, Business to Business Integration, Long Running Transactions for B2B Standard Data types for pi-like Calculi, XML Data Types for the pi-calculus, Query Languages for Semistructured Data Computing 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. 2003/2006 PhD Student at the University of Bologna, Italy.
2003 Intern at Microsoft, Redmond (WA), USA. 1999/2000 Computer Science Labs, Bologna, Italy. Other Working Experience 2007 Security Service, Rimini, Italy. 2000/2001 Library of Philosophy, Bologna, Italy. 1998/1999 Library of Economical Science, Bologna, Italy. 1995 Hotel Receptionist, Savignano S.R, Italy. Teaching Experience Component-based Development Software Reliability Object Oriented Programming and Java Foundation of Computation and Programming Languages Complexity Theory Mentoring/Supervising/Marking/Reviewing Experience 2010/2011 Participation to the Newcastle Mentoring Scheme Supporting PhD Researchers in Electrical and Electronic Engineering doing interdisciplinary research 2004/2011 Significant experience in master students supervision 2004/2011 Significant experience in journal and conference peer reviewing Projects DEPLOY SemBiz COSPA NAPI Industrial deployment of system engineering methods providing high dependability and productivity Semantic Business Process Management for flexible dynamic value chains Consortium for Open Source Software in the Public Administration Network Aware Programming and Interoperability Industrial Collaborations 2003/2005 Microsoft, USA 2007 HANIVAL, etel2, Austria 2008/2011 Bosch, Germany Education Background 2006 PhD in Computer Science, University of Bologna, Italy, National Scholarship, Thesis: Toward Abstractions for Web Services Composition.
2002 Master in Computer Science, University of Bologna, Italy, Arstud Scholarship, 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 (FC), Italy, Specialization in Computer Science. Schools 2010 Researchers Summer School (Newcastle, Durham, Sunderland), Beamish, UK 2010 SERENE School on resilience and self-* systems, London, UK 2004 Bertinoro International Spring School, Bertinoro (FC), Italy 2003 Software Engineering, Salerno, Italy 2003 EEF Global Computing Summer School, Edinburgh, Scotland Professional Training 2010/2011 PI Development Programme 2010 The Skills of Public Speaking (with the Royal Shakespeare Company) 2010 Project Proposal Writing 2010 Academic Writing 2010 Mentoring 2010 Writing CVs 2010 Negotiation and Influencing Skills 2009 MBTI 2009 Presentation Skills 2009 Communication Skills 2009 Self-Hypnosis and Stress Management 2008 Voice Skills Most Cited Papers (30/11/2011) Roberto Lucchi, Manuel Mazzara - A π-calculus based semantics for WS-BPEL - Journal of Logic and Algebraic Programming (JLAP), Elsevier press, 2007 - Google Scholar: 182 Manuel Mazzara, Roberto Lucchi - A Framework for Generic Error Handling in Business Processes - 1st International Workshop on Web Services and Formal Methods, Pisa, Italy, 2004 - Google Scholar: 41 Manuel Mazzara, Ivan Lanese - Towards a Unifying Theory for Web Services Composition - 3rd International Workshop on Web Services and Formal Methods, Vienna, Austria, 2006 - Google Scholar: 32 Manuel Mazzara, Sergio Govoni - A Case Study of Web Services Orchestration - Seventh International Conference on Coordination Models and Languages, Namur, Belgium, 2005 - Google Scholar: 30
Claudio Guidi, Roberto Lucchi and Manuel Mazzara - A Formal Framework for Web Services Coordination - 3rd International Workshop on Foundations of Coordination Languages and Software Architectures, London, UK, 2004 - Google Scholar: 22 Best Papers (according to ERA ranking) Roberto Lucchi, Manuel Mazzara - A π-calculus based semantics for WS-BPEL - Journal of Logic and Algebraic Programming (JLAP), Elsevier press, 2007 -ERA ranking: A Manuel Mazzara, Sergio Govoni - A Case Study of Web Services Orchestration - Seventh International Conference on Coordination Models and Languages, Namur, Belgium, 2005 - ERA ranking: A Zhixian Yan, Emilia Cimpian, Michal Zaremba, Manuel Mazzara - BPMO: Semantic Business Process Modeling and WSMO Extension - IEEE International Conference on Web Services 2007, Salt Lake City, Utah, USA, 2007 - ERA ranking: A Other Selected Papers Manuel Mazzara, Antonio Marraffa, Luca Biselli, and Luca Chiarabini - The Polidoxa Shift: an New Approach to Social Networks - Journal of Internet Services and Information Security (JISIS), 1(4):74-88, November 2011 Juan Carlos Polanco Aguilar, Koji Hasebe, Manuel Mazzara and Kazuhiko Kato - Model Checking of BPMN Models for Reconfigurable Workflows - Conference of Japan Society for Software Science and Technology (JSSST 2011) Michele Mazzucco, Manuel Mazzara and Nicola Dragoni - Design of QoS-aware Provisioning Systems - Journal of Critical Computer-Based Systems (IJCCBS), to appear November 2011 Manuel Mazzara, F. Abouzaid, N. Dragoni, A. Bhattacharyya - Toward Design, Modelling and analysis of Dynamic Workflow Reconfiguration - A Process Algebra Perspective- 8th International Workshop on Web Services and Formal Method (WSFM 2011), Clermont-Ferrand, France, 2011 Manuel Mazzara - On Methods for the Formal Specification of Fault Tolerant Systems- Fourth International Conference on Dependability (DEPEND 2011), Nice, France, 2011 Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya - Design, Modelling and Analysis of a Workflow Reconfiguration - PNSE 2011, Petri Nets and Software Engineering (INVITED TALK), Newcastle, UK, 2011 Manuel Mazzara, Nicola Dragoni, Mu Zhou - Dependable Workflow Reconfiguration in WS-BPEL - Nordic Workshop on Dependability and Security, Copenhagen, Denmark, 2011 Manuel Mazzara, Antonio Marraffa, Luca Biselli, Luca Chiarabini - Polidoxa: a Synergic Approach of a Social Network and a Search Engine to Offer Trustworthy News - INternational Workshop on TRUstworthy Service-Oriented Computing (INTRUSO 2011), Copenhagen, Denmark, 2011 Manuel Mazzara and Anirban Bhattacharyya - On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems - DEPEND International Conference on Dependability, Venice, Italy, 2010 Michele Mazzucco, Manuel Mazzara and Nicola Dragoni - Design of QoS-aware Provisioning Systems - Nordic Workshop on Dependability and Security, Copenhagen, Denmark, 2010 Nicola Dragoni, Manuel Mazzara - A Formal Semantics for the WS-BPEL Recovery Framework: The pi-calculus Way - Web Services and Formal Methods, Bologna, Italy, 2009
Manuel Mazzara - Deriving Specifications of Dependable Systems: toward a Method - European Workshop on Dependable Computing, Toulouse, France, 2009 Zhixian Yan, Manuel Mazzara, Emilia Cimpian, Alexander Urbanec - Business Process Modeling: Classification and Perspective - International Working Conference on Business Process and Services Computing, Leipzig, Germany, 2007 Manuel Mazzara - Timing Issues in Web Services Composition - 2nd International Workshop on Web Services and Formal Methods, Versailles, France, 2005 Other Relevant Works F. Abouzaid, A. Bhattacharyya, N. Dragoni, J. S. Fitzgerald, Manuel Mazzara and M. Zhou. A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation. School of Computing Science, Newcastle University, July 2011 Manuel Mazzara - Issues about the Adoption of Formal Methods for Dependable Composition of Web Services - School of Computing Science, Newcastle University, March 2010 Michael Jastram, Linas Laibinis, Felix Lösch, Manuel Mazzara - Proceedings of the First Deploy Technical Workshop - School of Computing Science, Newcastle University, January 2010 Manuel Mazzara - Different Perspectives for Reasoning about Problems and Faults - School of Computing Science, Newcastle University, April 2009 Zhixian Yan, Emilia Cimpian, Manuel Mazzara, Michal Zaremba - BPMO Requirements Analysis and Design - Universität Innsbruck, February, 2007 Manuel Mazzara, Alexander Urbanec, Joerg Hoffmann, Adina Sirbu - State of the Art and Requirements on Semantic Querying, Discovery, and Composition - Universität Innsbruck, February, 2007 Zhixian Yan, Emilia Cimpian, Manuel Mazzara, - BPMSuite Requirements Analysis and Design - Universität Innsbruck, February, 2007 Manuel Mazzara - Towards Abstractions for Web Services Composition, Ph.D. thesis, Department of Computer Science, University of Bologna, Technical Report, 2006 Google Scholar Esteem Factors (30/11/2011) Number of Papers 34 Total Citations 376 h-index 8 g-index 19 Business Plan Competitions 2005 Finalist in Nuove Idee Nuove Imprese 2005 Competition - Rimini, Italy. Business Idea: A Software Framework for Quality Improvement in Enterprises 2004 Finalist in Start Cup 2004 Competition - Bologna, Italy. Business Idea: A Software Environment for Indirect Costs Detection in Enterprises 2004 Finalist in Nuove Idee Nuove Imprese 2004 Competition - Rimini, Italy. Business Idea: A Software Environment for Indirect Costs Detection in Enterprises Computing Knowledge Operating Systems Microsoft Windows, Linux, Mac OS Microprocessor Architectures Intel 80X86, Motorola 68000 Programming C, C++, C#, Java, ML, OCAML, Scheme, Prolog, Pascal Databases SQL, JDBC, DB2, Access
Web Publishing HTML, XML, JavaScript Software Design and Specification Tools Service Orchestration Engines Word, PowerPoint, Excel, Outlook, Visio, Dream weaver, ArgoUML ACTIVE BPEL, Oracle BPEL Process manager 2.0 Web Services Composition Languages Statistical Analysis UML, Problem Frames XLANG, WS-BPEL, WS-CDL SPSS Conference, Workshop, Groups and Board Activities 2012 ARcTIC (Chair) 2012 TruMAS (Chair) 2012 DEPEND (PC member) 2011/2012 SOAP track at SAC (Chair) 2011/2012 Coordination Models, Languages and Applications track at SAC (PC member) 2011 CETC11 (PC member) 2011 Web Services and Formal Methods (PC member) 2011 INTRUSO (Chair) 2011 UML&FM (PC member) 2011 WWV 2011 (PC member) 2011 DEPEND (PC member) 2010/2011 Member of the Newcastle Research Staff Working Party 2010/2011 Chair of the Committee for the Best Paper Award in Dependability (Newcastle CS School) 2010/2011 SOAP track at SAC (Chair) 2010 SIGAPP Applied Computing Review editorial board (member) 2010 IWSOCE (PC member) 2010 UML&FM (PC member) 2010 Web Services and Formal Methods (PC member) 2009/2010 SOAP track at SAC (Chair) 2009 Deploy Technical Workshop (Organizer, Chair, Editor) 2009 ESSoS (PC member and Organizer) 2009 UML&FM (PC member) 2008/2009 SOAP track at SAC (Chair) 2006 Web Services and Formal Methods (PC member) 2005 Process Modelling Group (member) Invited Talks Design, Modelling and Analysis of a Workflow Reconfiguration - PNSE11 - Petri Nets and Software Engineering, Newcastle, UK, 2011
Language Competence Italian mother language English Technical: good; Written: good; Spoken: fluent French Technical: good; Written: basic; Spoken: basic Honors & Awards Studentships Arstud University Scholarship from 1995 to 2001 PhD National Scholarship from 2003 to 2005 German Awards Nomination for Best Master Thesis of the Year, 2002 Technical: beginner; Written: beginner; Spoken: beginner Dependability Best Paper Award at the School of Computing Science, Newcastle University, January/June 2011 Best paper at the 28th Conference of Japan Society for Software Science and Technology, September 2011 Hobbies Sport Music Reading Writing Traveling Soccer, Bike, Jogging, Gym Pop, Rock and Italian composers, Some classic composers Essay, Narrative and Poetry Essay, Narrative and Poetry History, Cities, Museums, Art, Sea Literary Publications Navigando nelle Parole n.12, Il Filo Editor Navigando nelle Parole Speciale 2003, Il Filo Editor Navigando nelle Parole n.6, Il Filo Editor Note di Poesia, Il Filo Editor