معرفی
Michele Sevegnani is a Senior Lecturer in the School of Computing Science at the University of Glasgow, where he also earned his PhD. His work focuses on formal methods, particularly bigraphs with sharing, for modeling and verifying complex, location-aware, event-based systems. He is actively involved in major research initiatives including Probable Futures, TransiT, and CHEDDAR, funded by Responsible AI UK, UKRI, and industry partners.
Education:
- PhD in Computing Science, University of Glasgow
- MSc in Bioinformatics, University of Edinburgh and University of Trento
His research interests include formal verification, digital twins, probabilistic model checking, IoT, mixed-reality systems, and human-autonomy teaming. He has developed BigraphER, an open-source suite for bigraph simulation and analysis. His recent work addresses formal modeling of BDI agents, 5G/6G protocols, and AI in law enforcement.
His publications span formal methods, AI, networking, and human-robot interaction, showing a consistent focus on applying rigorous mathematical models to real-world systems. Trends include runtime verification, safety assurance in autonomous systems, and the integration of AI with formal guarantees.
Scientific Awards:
- Nominated for the BCS Distinguished Dissertation Award (2013)
- Recipient of Amazon Research Award (2022)
He advises multiple PhD students and postdoctoral researchers. He has secured grants from the Royal Society of Edinburgh, Taiwan’s Ministry of Science and Technology, and Amazon. He has been a visiting researcher at UC Berkeley and collaborates with institutions in France and Taiwan.
He leads the development of BigraphER and is a member of the editorial board of Science of Computer Programming. He regularly presents at international venues and workshops on formal methods and AI safety.
حوزههای پژوهشی
