The first part of this seminar will focus on introducing bigraphs with sharing, a universal process algebra for temporal and spatial evolution, based on Milner’s original bigraphs (2009). An overview of the categorical semantics and algebraic properties will be given, but we will focus mainly on the intuitive graphical form.

The second part will feature 3 applications:

• a communication protocol for wireless interference,
• domestic wireless network management,
• a strategic location-based pervasive mixed-reality game.

The third part will be an overview of BigrapER, a set of tools providing an efficient implementation
of computation, simulation, and visualisation for bigraphs.

Dr Michele Sevegnani is an EPSRC Doctoral Prize Research Fellow at the University of Glasgow, based in the School of Computing Science.
His research addresses reasoning about reliability and predictability of location-aware, event-based, software systems, particularly systems that are already deployed.
Current work involves:

• requirements analysis for air traffic control engineering and communicating systems,
• techniques for the formal modelling and analysis of mixed reality systems,
• conceptual frameworks for modelling and analysis of heterogeneous mobile robotic systems.

His research focus lies on the boundaries between Mathematics (logics, category theory, probability) and Computer Science (event-based systems, predictive modelling, runtime verification, ubiquitous systems, models of logical space).
Further information is available at http://dcs.gla.ac.uk/~michele/.