Michele Sevegnani

I am Lecturer at the School of Computing Science, 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 PhD from the University of Glasgow with a thesis on bigraphs with sharing, a universal computational model that encapsulates both dynamic and spatial behaviour. You can read my thesis and various academic publications in the Papers section.

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 project on formal methods for Agritech resilience, MAGIC, a PETRAS project on modelling perspectives in autonomous aerial and ground vehicles, and HEVMAX, an EPSRC IAA project on formal models for xEV range maximisation in collaboration with NXP.

In the past, I have led 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 Cambridge and UC Berkeley.

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. You can find more details in the Research section.

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.


Experience & applications



PhD students


Former members