Blair Archibald
Scholar

Blair Archibald

Google Scholar ID: 8i6CAKEAAAAJ
Lecturer, University of Glasgow
Computing Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
295
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
15
list available
Contact
GitHubOpen ↗
Publications
1 items
Signalling Health for Improved Kubernetes Microservice Availability
2025
Cited
0
Resume (English only)
Background
  • Lecturer in the School of Computing Science at the University of Glasgow
  • Interested in using (formal) computational modelling to understand and reason about complex systems, from chemical processes to large-scale digital twins of cyber-physical systems
  • Focuses on developing expressive modelling languages and tools that enable non-experts to access powerful reasoning techniques such as probabilistic model checking
  • Believes graphical formalisms like Milner's Bigraphs can play a key role in wider adoption of formal methods
  • Fellow of the Software Sustainability Institute
  • Co-investigator in the TransitT UK national research hub on Twinning for Decarbonising Transport
Co-authors
15 total
Michele Sevegnani
Michele Sevegnani
Senior Lecturer, School of Computing Science, University of Glasgow
Muffy Calder
Muffy Calder
Professor of Computing Science, University of Glasgow
Mengwei Xu
Mengwei Xu
Lecturer at University of Newcastle
Phil Trinder
Phil Trinder
Professor of Computing Science, University of Glasgow
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Ciaran McCreesh
Ciaran McCreesh
University of Glasgow
Mohammad D. Soorati
Mohammad D. Soorati
Assistant Professor, University of Southampton