MICHELE SEVEGNANI
Co-Investigator
Dr Sevegnani is Senior Lecturer at the University of Glasgow’s School of Computing Science. He has a PhD in Computing Science from the University of Glasgow and an MSc in Bioinformatics jointly from the universities of Edinburgh and Trento in Italy. He 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.
Dr Sevegnani’s research is in the field of formal modelling and verification, with a particular focus on spatial and probabilistic aspects. His main contribution to date is bigraphs with sharing, a novel mathematical formalism that encapsulates both dynamic and spatial behaviour.
University of Glasgow
