Michele Sevegnani

I am a Lecturer at the School of Computing Science of the University of Glasgow. I previously held positions at the same institution as Research Fellow in the Science of Sensor Systems Software (S4) EPSRC programme grant and as EPSRC Doctoral Prize Fellow. I obtained a Ph.D. from the University of Glasgow with a thesis on bigraphs with sharing, a novel mathematical formalism that encapsulates both dynamic and spatial behaviour. You can read my thesis and various academic publications in the Papers section.

My current 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. I was recently involved in the development of a run-time verification system for home networks management (with the EPSRC Homework project), in the modelling and analysis of a mixed-reality game (the Savannah game from the MRL in Nottingham), in the definition of a predictive stochastic model for a communication system used in air traffic control and in the design of bigraphical frameworks for modelling and analysis of autonomous vehicles. You can find more details in the Research section.

If you are interested in completing a Ph.D. related to my research, then please contact me. You can find information about the application process here.


Experience & applications