Life out on the Savannah... Formal Models meet Mixed-Reality Systems

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

• Michele Sevegnani (University of Glasgow)
• Monday 01 June 2015, 14:00-15:00
• FW26, Computer Laboratory, William Gates Builiding.

If you have a question about this talk, please contact Eiko Yoneki.

In this seminar, I will showcase recent HCI research collaborations with Steve Benford and Tom Rodden (Nottingham) involving modelling and analysis for the strategic location-based pervasive mixed reality game ‘Savannah’. I will describe a novel bigraphical model of four perspectives of the system (computational, technical, human and physical), that provides new ways to analyse relationships between the perspectives and prove formally that there are cognitive dissonances in the system, as exemplified by user-trials. No bigraph algebra is required, everything is done in graphical form (i.e. pictures)!

Bio: Dr Michele Sevegnani is an EPSRC Doctoral Prize Research Fellow at the University of Glasgow, based in the School of Computing Science (http://dcs.gla.ac.uk/~michele/). His research addresses reasoning about reliability and predictability of location-aware, event-based, software systems, particularly systems that are already deployed. 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). 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.

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.