Scholar
Michele Sevegnani
Google Scholar ID: ycI17poAAAAJ
Senior Lecturer, School of Computing Science, University of Glasgow
Bigraphs
Formal methods
Model checking
Formal verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
523
H-index
13
i10-index
14
Publications
20
Co-authors
34
list available
Contact
No contact links provided.
Publications
5 items
Responsible AI in criminal justice: LLMs in policing and risks to case progression
2026
Cited
0
Introducing The Maximum Common Bigraph Problem
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Mapping the Probabilistic AI Ecosystem in Criminal Justice in England and Wales
2025
Cited
0
Federated Deep Reinforcement Learning for Privacy-Preserving Robotic-Assisted Surgery
2025
Cited
0
Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
Electronic Proceedings in Theoretical Computer Science · 2025
Cited
0
Resume (English only)
Co-authors
34 total
Muffy Calder
Professor of Computing Science, University of Glasgow
Blair Archibald
Lecturer, University of Glasgow
Mengwei Xu
Lecturer at University of Newcastle
Sye-Loong Keoh
School of Computing Science, University of Glasgow
Co-author 5
steve benford
The University of Nottingham
Co-author 7
Ciaran McCreesh
University of Glasgow
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up