Fred B. Schneider

Schneider's work in formal methods showed that safety properties and liveness properties are the primitive basis for correctness. He developed several widely used abstractions for fault-tolerant distributed systems, including the fail-stop processor model, the standard exposition for state machine replication, the first protocols for asynchronous proactive secret sharing (previously believed to be impossible), and chain replication now commonly used in cloud computing. His subsequent work on Execution Monitoring is one of the touch stones for the language-based security movement.