معرفی
Dr. Blair Archibald is a Lecturer in the School of Computing Science at the University of Glasgow. He holds a PhD in Computing Science from the same institution (2018). Previously, he was a Research Associate on the Science of Sensor Systems (S4) project. He is a member of the Systems, PLUG, and FATA research groups and a Software Sustainability Institute Fellow since 2017.
His research focuses on computational modeling of complex systems using formal methods like Milner's Bigraphs and probabilistic model checking. He also investigates parallel and distributed computing, programming languages, and functional programming. His work emphasizes making formal methods accessible to non-experts through graphical techniques and tools such as BigraphER.
Archibald has contributed to frameworks like YewPar, a C++ library for parallel combinatorial search, and has explored applications in transport systems resilience and human-swarm interaction. His interdisciplinary approach aims to apply formal methods to real-world challenges, such as decarbonizing transport through digital twinning.
Key awards include the Software Sustainability Institute Fellowship (2017). His current research interests span BDI agent verification, probabilistic bigraphs, and scalable parallel algorithms. He is actively involved in supervising PhD students in these areas.
Lab/Team Affiliations: Systems Research Group, PLUG (Programming Languages and User Interfaces Group), and FATA (Formal Analysis, Theory and Algorithms) at the University of Glasgow.
