An Overview on Bigraphs, Their Applications, and Future Research Directions

Add to your list(s) Download to your calendar using vCal

• Michele Sevegnani (University of Glasgow)
• Thursday 28 January 2016, 15:00-16:00
• FW26, Computer Laboratory, William Gates Builiding.

If you have a question about this talk, please contact Liang Wang.

In the first part of this seminar, Michele will introduce bigraphs with sharing, a universal process algebra for temporal and spatial evolution, based on Milner’s original bigraphs.

The second part will feature three applications:

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

Finally, in the third part Michele will illustrate some research directions he is going to explore during his stay in the Computer Lab. No bigraph algebra is required, everything is done in graphical form (i.e., pictures)!

BIO : Michele is an EPSRC Doctoral Prize Research Fellow at the University of Glasgow. His research focusses on the theory of bigraphs and how to use it to reason about safety, reliability and predictability of location-aware, event-based, software systems, particularly complex systems that are already deployed. He was recently involved in the development of a runtime verification system for home networks management (with the Homework project) and in the modelling and analysis of a mixed reality game (the Savannah game from the MRL in Nottingham).

This talk is part of the Computer Laboratory Systems Research Group Seminar series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• CL's SRG seminar
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Computer Laboratory Systems Research Group Seminar
• Department of Computer Science and Technology talks and seminars
• FW26, Computer Laboratory, William Gates Builiding
• Interested Talks
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.