Calum Imrie

Calum Imrie serves as a Research Associate within the Department of Computer Science at the University of York, based at the ISA office location and affiliated with the High Integrity Systems research group. His work focuses on developing and verifying systems where failure could lead to catastrophic consequences in critical applications.

Research interests center on High Integrity Systems, encompassing Safety-Critical Systems design, Formal Verification methodologies, and Software Engineering for reliable computing environments. This work addresses fundamental challenges in aerospace, medical devices, and transportation systems where absolute system reliability is non-negotiable.

The High Integrity Systems research team employs rigorous mathematical approaches to system validation, including model checking, theorem proving, and fault-tolerant architecture design to ensure operational safety under all conceivable conditions.

No scientific awards or honors were documented in the available institutional records.

Public information does not indicate any student supervision activities or research grant management responsibilities for Calum Imrie within the departmental structure.