Мануэль Маццара Страна: Италия PhDUniversity of Bologna, ИталияДоцентДиректор Института разработки ПО и программной инженерииНачальник Лаборатории программной инженерии Учёная степень: PhD Образование: Высшее образование, Болонский Университет, Италия Направление подготовки: Компьютерные науки и информатика Мануэль Маццара получил степень магистра (2002) и PhD (2006) в Университете Болоньи. Разрабатывал программное обеспечение в компании Майкрософт и работал в Университете Ньюкасла над проектом Deploy. В 2012 году он стал специалистом по программированию в Университете ООН (Макао). Сегодня Мануэль Маццара работает заместителем заведующего лаборатории программной инженерии и верификации программ Университета Иннополис. Сфера научных интересов профессора включает кибербезопасность, разработку ПО, социальные сети и глобальное здравоохранение. Автор 30 публикаций. Проходил курсы повышения квалификации по программе совершенствования педагогического мастерства - Teaching excellence program (Глобальное образование iCarnegie). Исследования Публикации Кибербезопасность Разработка ПО Социальные сети Глобальное здравоохранение Типы систем обработки данных BPM Web-сервисы Standard Data types for pilike Calculi,XML Data Types for the picalculus,Query Languages for Semistructured Data BPM: Business Processes, Business to Business Integration, Long Running Transactions for B2B Requirements: Problem Frames approach Software Engineering: Software Metrics, Component-based development, Software Environments for Costs Detec- tion, Quality Improvement in Enterprises Methods: Methods for Deriving Specifications, Agile Methods and Extreme Programming 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 Concurrency : small Mobile Process Calculi, Rely/guarantee reasoning Dependability : Dependable systems, Software Reliability Theory Trust and Social Networks: Trust Ranking, Algorithms Dynamic Reconfiguration: Modeling and verification of reconfigurable workflows, security aspects E-health: Software engineering for global health, immunization support, telemedicine, remote assistance Temporal Logic: Model checking and verification of self-* systems 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. Lanese, I., Mazzara, M., Montesi, F. Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Science of Computer Programming, Volume 97 . 181-182. 2015. Ferrucci, L, Bersani, M.M, Mazzara, M.. An LTL semantics of business workflows with recovery . Proceedings of the 9th International Conference on Software Paradigm Trends, SciTePress. 29-40. 2014. Vienna; Austria. Возврат к списку Наблюдательный совет Команда Преподавательский состав Сведения об образовательной организации Основные сведения Структура и органы управления образовательной организацией Документы Образование Информация об органах управления образовательной организации, в том числе о наименовании структурных подразделений (органов управления), руководителях структурных подразделений, местах нахождения структурных подразделений, адресах официальных сайтов в инф Общее собрание работников и обучающихся Университета Состав Наблюдательного совета Полномочия Наблюдательного совета Образовательные стандарты Полномочия Ученого совета Информация о структурных подразделениях Руководство. Педагогический (научно-педагогический) состав Материально-техническое обеспечение Стипендии и иные виды материальной поддержки Платные образовательные услуги Финансово-хозяйственная деятельность Вакантные места для приема (перевода) Информирование о приеме на обучение Информация об обучении инвалидов и лиц с ограниченными возможностями здоровья Конкурс на замещение вакантных должностей Инженер-исследователь Профессор Профессор Инженер-исследователь Профессор Старший научный сотрудник Старший научный сотрудник Инженер-исследователь Старший научный сотрудник Инженер-исследователь Старший научный сотрудник Профессор Профессор Вакансии STEM-центры Преподаватель математики Преподаватель программирования Преподаватель STEM-Robotics Помощник администратора Высшее образование Лаборатории Отчет за 2018 год Отчет за 2015 год Отчет за 2014 год Отчет за 2013 год В центре внимания ● ● ● ● ● ●