John Rushby

John Rushby is a computer scientist known for his work in formal methods, which involve mathematically verifying the correctness and safety of complex systems such as aircraft controls and software. His research helps ensure that critical systems work reliably and securely, reducing the risk of errors that could lead to accidents or failures. By developing rigorous techniques to model and analyze system behavior, Rushby contributes to making technology safer and more trustworthy in applications where failure is not an option.