Dr Michele Sevegnani

简介

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.