Manuel Mazzara PhDUniversity of Bologna, ItalyAssociate ProfessorDirector, Institute of Software Development and EngineeringHead, Lab of Software and Service Engineering Education: Computer Science Institute: Technologies and Software Development University Role: Director of Institute Manuel Mazzara achieved his Masters in 2002 and his Ph.D in 2006 at the University of Bologna. 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 Manuel Mazzara 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). From 2008 to 2012 Manuel worked in Newcastle University on the DEPLOY project. This project involved several partners Europe-wide with 4 of them coming from the most varied industrial scenarios: Bosch, Siemens, SAP and Space Finland. The objective was deploying software engineering techniques into the industrial process to guarantee stronger products reliability. In 2012 Manuel also served as a Computer Scientist at UNU-IIST in Macao while still being with Newcastle as a Visiting Researcher. Manuel worked on the automatization of the immunization process for third world countries and on e-health and sustainability projects related to the UN “Agenda 21”. In 2013/14 he also worked on remote assistance and telemedicine domotics tools with Polytechnic of Milan and as a teaching fellow at the same university before joining Innopolis and visiting ETH. PhD and Postdocs: Leonard Johard Larisa Safina Research Publications Temporal Logic: Model checking and verification of self-* systems E-health: Software engineering for global health, immunization support, telemedicine, remote assistance Dynamic Reconfiguration: Modeling and verification of reconfigurable workflows, security aspects Trust and Social Networks: Trust Ranking, Algorithms Dependability : Dependable systems, Software Reliability Theory Concurrency : small Mobile Process Calculi, Rely/guarantee reasoning Web Services Composition: Web Services Technologies, Foundations of WS Composition, WS-BPEL and WS-CDL, Re- covery 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 Detec- tion, Quality Improvement in Enterprises Requirements: Problem Frames approach BPM: Business Processes, Business to Business Integration, Long Running Transactions for B2B Standard Data types for pilike Calculi,XML Data Types for the picalculus,Query Languages for Semistructured Data Automotive : Software engineering and methods for automotive systems Architectural Styles: Service Oriented Architectures and Microservices Affective Computing: Neurobiology-inspired models and architectures for Affective Computing Data types: Standard Data types for pi-like Calculi, XML Data Types for the pi-calculus, Query Languages for Semistructured Data Roberto Lucchi, Manuel Mazzara. A π-calculus based semantics for WS-BPEL - Journal of Logic and Algebraic Programming (JLAP) . 2007. Manuel Mazzara, Roberto Lucchi. Framework for Generic Error Handling in Business Processes - 1st International Workshop on Web Services and Formal Methods. 2004. Pisa, Italy. Manuel Mazzara, Ivan Lanese. Towards a Unifying Theory for Web Services Composition - 3rd International Workshop on Web Services and Formal Methods. 2006. Vienna, Austria. Claudio Guidi, Roberto Lucchi and Manuel Mazzara. Formal Framework for Web Services Coordination - 3rd International Workshop on Foundations of Coordination Languages and Software Architectures. 2004. London, UK. Manuel Mazzara, Sergio Govoni . Case Study of Web Services Orchestration - Seventh International Conference on Coordination Models and Languages. 2005. Namur, Belgium. Manuel Mazzara and Anirban Bhattacharyya . Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems - DEPEND International Conference on Dependability. 2010. Venice, Italy. Mazzara M.. LTL-based verification of reconfigurable workflows. Applied Mathematical Sciences, Volume 8, Hikari Ltd.. 8581-8600. 2014. Back to the list About Innopolis City Board of Trustees Faculty Positions Team Academic staff Annual Report 2018 In the spotlight ● ● ● ● ● ●