Dr Michele Sevegnani
- Research Fellow (School of Computing Science)
I am a Research Fellow at the University of Glasgow, as part of the Science of Sensor Systems Software (S4) EPSRC programme grant. I completed my PhD in 2012 at the University of Glasgow's School of Computing Science with a thesis on bigraphs with sharing, a novel mathematical formalism that encapsulates both dynamic and spatial behaviour. In 2013, I was awarded a three year EPSRC Doctoral Prize Fellowship at the University of Glasgow to continue my work on Formal Modelling and Analysis of Complex Location-Aware Systems.
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.
- New formalism: Bigraphs with sharing (time & space)
- Modelling & verification
- Probabilistic model-checking
- Event based systems
- Systems that evolve in multiple dimensions (location, bandwidth, signal, connectivity, etc.)
Experience & applications
- Mixed-reality systems
- Networking - IoT - Communication protocols
- System monitoring, management & deployment
- Autonomous vehicles & swarm
Calder, M., Koliousis, A., Sevegnani, M., and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi:10.1016/j.scico.2013.08.004)
Calder, M., and Sevegnani, M. (2014) Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Formal Aspects of Computing, 26(3), pp. 537-561. (doi:10.1007/s00165-012-0270-3)