• Sign in
  • Sign up
conf.researchr.org / Blair Archibald
  • ICFP/SPLASH 2025 profile
  • NASA Formal Methods 2023 profile
  • PPoPP 2020 profile
  • STAF 2024 profile
  • STAF 2026 profile
Blair Archibald

Registered user since Mon 20 Jan 2020

Name:Blair Archibald
Country:United Kingdom
Affiliation:University of Glasgow
Personal website: https://www.blairarchibald.co.uk
GitHub: https://github.com/BlairArchibald

Contributions

2026

ICGT

  • Co-chair in Program Committee

2025

SPLASH

  • Author of TideScript: A Domain Specific Language for Peptide Chemistry within the Onward! Papers-track

2024

ICGT

  • Presenter of A Bigraph Paper of Sorts within the ICGT Research Papers-track

GCM

  • Author of Modelling Real-time Systems with Bigraphs within the GCM 2024-track

2023

NFM

  • Author of Quantitative Verification and Strategy Synthesis for BDI Agents within the NFM 2023-track

2020

Principles and Practice of Parallel Programming

  • Author of YewPar: Skeletons for Exact Combinatorial Search within the Main Conference-track
Share
xSun 26 Oct 07:11
using conf.researchr.org (v1.72.1)
Support page
Sign Up