Nathan Hughes

Nathan Hughes serves as a Research Fellow in the Department of Computer Science at the University of York, where he is affiliated with the High Integrity Systems research group.

His research focuses on High Integrity Systems, encompassing the development and verification of software systems where failure could have serious consequences. This field involves safety-critical systems engineering, formal verification methods, and techniques for ensuring reliability in critical applications across various domains including transportation, healthcare, and industrial control systems. The research requires rigorous mathematical approaches to prove system correctness and eliminate potential failure modes.

Within the High Integrity Systems group, researchers work on advancing methodologies for building systems that must operate with extremely high reliability, often in safety-critical contexts where human lives or significant economic assets are at stake. This involves both theoretical work on verification techniques and practical applications across various industry sectors.