John Rushby
A leading figure in formal verification, applying and advancing its use in aerospace and other high-assurance domains at SRI.
Key facts
- Role
- advocate|researcher
A leading figure in formal verification, applying and advancing its use in aerospace and other high-assurance domains at SRI.