Dr Michele Sevegnani
- Senior Lecturer (Computing Science)
Room S144, Computing Science, Sir Alwyn Williams Bldg
I am Senior Lecturer at the School of Computing Science. I received a PhD in Computing Science from the University of Glasgow and an MSc in Bioinformatics jointly from the universities of Edinburgh and Trento (Italy). I previously held positions at the University of Glasgow as Research Fellow in the Science of Sensor Systems Software (S4) EPSRC programme grant and as EPSRC Doctoral Prize Fellow. My research is within the field of formal modelling and verification with a particular focus on spatial and probabilistic aspects. My main contribution to date is bigraphs with sharing, a novel mathematical formalism that encapsulates both dynamic and spatial behaviour.
Find out more on my personal website.
My 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 currently lead FARM, a PETRAS research projects on formal methods for resiliance modelling in Agritech and MAGIC, a PETRAS project on modelling perspectives in autonomous aerial and ground vehicles. I have also recently received an Amazon Research Award on Automated Reasonig for the project “From Whiteboards to Models: Diagrammatic Formal Modelling for Everyone”.
In the past, I have lead a research programme on formal methods for IoT device management platforms, with the Royal Society of Edinburgh and the Taiwan Ministry of Science and Technology, and was visiting researcher at UC Berkeley, modelling autonomous swarm systems.
I am the lead developer of BigraphER, a suite of open-source tools for rewriting, simulation and visual display of bigraphs.
Recent research includes estimation techniques for networks of sensors with overlapping ranges, digital twinning for Mixed-Reality systems, and human-autonomy teaming in connected vehicular systems.
- New computational models: Bigraphs with sharing (time & space)
- Modelling & verification (Digital Twin)
- 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
- Connected and autonomous vehicles
Linker, S. and Sevegnani, M. (2019) Target counting with Presburger constraints and its application in sensor networks. Proceedings of the Royal Society of London Series A: Mathematical, Physical and Engineering Sciences, 475, 20190278. (doi: 10.1098/rspa.2019.0278)
Calder, M. and Sevegnani, M. (2019) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, 16(1), pp. 174-187. (doi: 10.1109/TDSC.2017.2650901)
Benford, S., Calder, M. , Rodden, T. and Sevegnani, M. (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23(2), 9. (doi: 10.1145/2882784)
Sevegnani, M. and Calder, M. (2016) BigraphER: rewriting and analysis engine for bigraphs. Lecture Notes in Computer Science, 9780, pp. 494-501. (doi: 10.1007/978-3-319-41540-6_27)
Sevegnani, M. and Calder, M. (2015) Bigraphs with sharing. Theoretical Computer Science, 577, pp. 43-73. (doi: 10.1016/j.tcs.2015.02.011)
- Amazon Research Award (Automated Reasoning)
From Whiteboards to Models: Diagrammatic Formal Modelling for Everyone
2022 – 2023
- PETRAS National Centre of Excellence
Formal methods for Agritech Resilience Modelling (FARM)
2020 – 2021
- EPSRC IAA
HEVMAX: Formal models for xEV range maximisation
- PETRAS National Centre of Excellence
Multi-Perspective Design of IoT Cybersecurity in Ground and Aerial Vehicles (MAGIC)
2020 – 2022
- The Royal Society International Exchanges Cost Share 2019 MOST Taiwan
Digital twins for monitoring, optimisation, and automation in Agritech
2020 – 2022
- The Royal Society of Edinburgh, RSE International Exchange Programme: RSE - MOST Joint Project
Formal methods for Internet of Things (IoT) device management platforms
2017 – 2019
- SICSA (Scottish Informatics and Computer Alliance)
Research Challenge on Next Generation Mixed-Reality Systems
- London Mathematical Society - Computer Science Small Grant
- Royal Society International Exchange Scheme
Bigraphs for real-time verification of heterogeneous mobile robotic systems
If you are interested in completing a PhD related to my research, then please contact me. You can find information about the application process here.
- Albalwe, Maram Mohammed S
Modelling and Analysing routing protocols for WSN using Bigraphs
- Althubiti, Ebtihal Abdulmaeen S
Bigraphical approaches for privacy and security properties in IoT
- Drakopoulos, Andreas
Optimising interactions with virtual environments
- Phetmanee, Surasak
Probabilistic Model Checking for Algorithmic Trading