Giovanna Di Marzo Serugendo
Giovanna Di Marzo Serugendo
1996-1999: Swiss Federal Institute of Technology in Lausanne (EPFL)
Ph.D. in Computer Science - Software Engineering (1999): "Stepwise Refinement of Formal Specifications Based on Logical Formulae: from CO-OPN/2 specifications to Java programs"
1987-1994: University of Geneva, Faculty of Science
M.Sc. in Mathematics (1993) Domain: Numerical analysis.
M.Sc. in Computer Science (1994) Domain: Software Engineering.
Nationalities: Italy, Switzerland
Birth: June 12th, 1966
E-mail: Giovanna. Dimarzo at unige.ch
French, Italian: Mother tongues
Lecturer, Senior Lecturer
Scientific Associate (Fellow)
Research Assistant - Ph.D. Student
2010-2013 SAPERE—Self-Aware Pervasive Service Ecosystems
The objective of the EU funded SAPERE project is the development of a highly-innovative theoretical and practical framework for the decentralized deployment and execution of self-aware and adaptive services for future and emerging pervasive network scenarios.
2006-: Dynamically resilient Systems
This research aims at providing a service-oriented architecture enforcing resilience policies at run time based on available and permanently updated metadata.
I joined the EU Resist Network of Excellence as an affiliated member. My main activity in this project is to participate to the Res-Ex working group focusing on mechanisms supporting resilience explicit computing.
2002-: Self-Organising Applications
Hovering Information (2007-)
Self-Organising Industrial Assembly Systems (2007-)
Specification Carrying Code
AgentLink III Technical Forum on Self-Organisation in MAS
I was co-chairing the AgentLink III Technical Forum Group on Self-Organisation in Multi-Agent Systems (MAS), whose scopes are to group together the computing science research community working on self-organisation and emergent behavior, and to establish and enhance links with other disciplines (2004-2005).
ESOA Working Group
Self-organising applications (SOAs) are typically based on several interacting software components that can act autonomously and in collaboration with each other, and with no central entity. Such applications include pervasive or wireless applications, as well as those to be deployed on a Grid or a P2P network, possibly relying on agents or mobile agents. In the framework of the AgentCities.NET project (IST-2000-28384), I am chairing the ESOA: Engineering Self-Organising Applications working group, whose goal is to explore some of the challenging issues SOAs raise in the Agentcities environment. (2002-2003)
2002-2005: Trust / Agents
Security founded on the notion of Trust
I was in charge of directing the production of a book describing the research activities realised in the framework of the Luxembourg funded FIDJI project. The book proposes a pragmatic approach intended to fill in the divide which lies between architects, designers and developers, and covers software engineering activities from analysis to development.
European Master in Interoperability
2002-2004: Unanticipated Software Evolution
In the framework of unanticipated software evolution, I investigate the means to allow run- time software evolution of code, not anticipated at design time. I am currently proposing a service architecture based on interactions occurring through anonymous and asynchronous communication, and syntactic service description, without relying on the notion of APIs.
2000-2001 : CERN Projects - "ALICE Experiment "
Formal Specification of ALICE DAQ
1999-2001: Formal Methods: Real-time
Real-time synchronized Petri nets
This work is conducted in collaboration with EPFL, the Politecnico di Milano (Italy), and Luxembourg University of Applied Science. It is dedicated to the definition of a class of high level Petri nets (with inhibitor arcs, and synchronization among Petri nets) with real-time constraints attached to transitions as relative time intervals. My work consists in defining the whole syntax and (strong time) semantics of these nets (1999-2001).
1994-1999: Formal Methods: Petri nets
Concurrent Object-Oriented Petri nets (CO-OPN)
This project studied the formal development and validation of distributed systems using CO-OPN (Concurrent Object-Oriented Petri nets). My work included the specification of distributed systems using CO-OPN, the application of CO-OPN to mobile agents, the use of category theory for defining the semantics of CO-OPN, and the definition of a theory of refinement for CO-OPN. It was funded by FNRS Project (21.32286.91) " Formal Methods for Concurrency " (1994-1999).
Stepwise refinement of formal specifications based on contracts
1993-2001: Mobile Agents
Mobile Agents—This project investigated both the specification of systems built with messengers (a kind of mobile agents), as well as the use of messengers for implementing distributed systems. During this project, I participated in establishing messengers as a kind of mobile agents, as well as in positioning messengers wrt other mobile agents environments. In addition, I performed an analysis of several formal languages, and investigated their suitability for expressing mobile agents. I participated as well to the description of the building of some distributed systems with messengers. This work was funded by the FNRS Project (2000-0400631.94) " Communication Messengers as a Basis for Distributed Algorithms (Theory and Implementation) " (1994-1996).
ComScript- The aim of the ComScript Project was twofold: it provided a platform for the dynamic (re)configuration of protocol stacks and offered at the same time a language for the implementation of distributed applications. My work consisted in the implementation of protocol stacks within the ComScript environment. It was part of the FNRS Project (21-31121.91) " ComScript - a Generic Platform for Heterogeneous Communications Protocol Architectures " (1993-1994).
task force / working groups
editorial board activities
Editor-in-chief: ACM Transactions on Autonomous Adaptive Systems (TAAS) - First Issue Fall 2006
Editorial Board Member: Multiagent and Grid Systems - An International Journal. ISSN: 1574-1702.
Editorial Board Member: International Journal of Intelligent Information and Database Systems. InderScience. First issue Spring 2007.
Conference co-chair: IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing (SUTC'08)
Projects funded by the Luxembourg government
Projects funded by the Swiss government (COST)
Projects funded by the UK government (EPSRC)
Projects funded by the Netherlands (NWO)
AgentLink III - University of Geneva Contact Point (2004-2006)
International Collaborator on a project funded by the Greek Government (PENED program)
Hovering Information—Infrastructureless spatial storage. University of Delft. November 2010.
Designing Self-Organization for Evolvable Assembly Systems. FESTO Industrial Symposium on Advanced Automation 2008. Stuttgart. November 2008.
Hovering Informationn - Self-Organising Information that finds its own storage. Asian University. Taichung, Taipei. June 2008.
Hovering Information. School of Computer Science, University of Birmingham, Artificial Intelligence and Natural Computation Series. November 2007.
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. RISE'07. Luxembourg. November 2007. (slides)
Self-Organisation and Emergence in Multi-Agent Systems. Invited Speaker. Symposium on Organic Computing. Berlin. February 2007. (slides)
A Service-Oriented Infrastructure for Adaptive Systems Based on Specification-Carrying Code. EUMAS'06. Lisbon, December 2006. (slides)
Semantic Interoperability in Service-Oriented Computing. First Tuesday on Interoperability. Geneva. June 2005. (slides)
About Self-Organisation, Emergent Behaviour, and Self-Management. Panel. SelfMan'05 Workshop. Nice, May 2005 (slides)
Engineering Emergent Behaviour: A Vision. Invited Talk. MABS'03. Melbourne. July 2003. (slides)
SECURE Applications Scenario. Global Computing Workshop. Rovereto. March 2003. (slides)
Designing Fault-Tolerant Mobile Systems. Keynote Speaker. FIDJI'02. Luxembourg. November 2002. (slides)
CO-OPN: Concurrent Object-Oriented Petri Nets. Lisbon. September 2002. ( slides )
Grilles de Calculs et Réseaux Pair-à-Pair. Les jeudis de l'IST. Luxembourg. May 2002. (slides)
awards and honours
Editor-in-Chief, ACM Transactions on Autonomous Adaptive Systems
Nomination for Descartes Prize 2003
CERN fellowship (1999)
summer schools / doctoral schools
September 2008 - PERADA Summer School
April 2008 - Pisa Doctoral School - Self-Adaptive and Self-Organising Systems
University of Geneva teaching
2010-: Contextualisation et Qualité des Services / 3rd year BSc course
2010-: Bases de données / 2nd year BSc Course
2010-: Social and Legal Issues in Informatics / 1st year MSc course
2010-: Services Foundation / 1st year MSc Course
2006-: Adaptive Systems / 3rd-4th year course
Akla-Esso Tchao. Context-Aware Systems. PhD in Information Systems. Faculty of Economic and Social Sciences, University of Geneva. Expected 2015.
A. A. Villalba Castro. Hovering Information. PhD in Information Systems. Faculty of Economic and Social Sciences, University of Geneva, Expected 2011.
R. Frei. Self-Organising Assembly Systems. PhD Thesis. Joint Birkbeck—Uninova, March 2010.
M. Oriol: "An Approach to the Dynamic Evolution of Software Systems". PhD in Information Sysems. Faculty of Economic and Social Sciences, University of Geneva, 2004.
SAPERE—Self-Aware Pervasive Service Ecosystems EU project. FP7-ICT-2009.8.5 (2010-2013)
Royal Society Conference Grant (2008)
PerAda Research Exchange (2008)
"A Social Semantic Infrastructure supporting Ambient Intelligence". Swiss SNF project 200020-105476/1. (2004-2005)
"Engineering Self-Organising Applications". Swiss SNF project 21-68026.02. (2002-2004)
"Communication Messengers as a Basis for Distributed Algorithms (Theory and Implementation)" Swiss SNF Project 2000-0400631.94 and its follow-up. (1994-1996)
"ISACOM - Intelligent Scheduling Algorithms with COmmunication Messengers". Swiss SNF Project 21-43370.95.(1995)