Laura Fearnley

Laura Fearnley is a Researcher in the Department of Computer Science at the University of York, actively contributing to the High Integrity Systems research group which specializes in developing rigorously verified safety-critical systems for high-risk domains.

Her research spans Formal Methods for mathematical system specification, Safety-Critical Systems engineering for aviation/medical applications, Software Verification techniques, and Reliability Engineering principles. These disciplines focus on preventing catastrophic failures through mathematical modeling, validation protocols, and fault-tolerant design in systems where human safety depends on computational correctness.

As part of the High Integrity Systems group, she engages in advancing verification methodologies for complex infrastructure including transportation control systems and medical devices, emphasizing mathematical rigor to ensure operational trustworthiness under all failure scenarios.