Registered user since Thu 30 Mar 2023
Name:Michele Sevegnani
Country:United Kingdom
Affiliation:University of Glasgow
Personal website: https://www.dcs.gla.ac.uk/~michele/
X (Twitter): https://x.com/michele_seve
Research interests:Formal methods, bigraphs, stochastic processes, spatial logics
Contributions
Using general profile