SRI的容错计算研究

罗伯特·肖斯塔克（Robert Shostak）曾在美国加利福尼亚州门洛帕克的SRI International计算机科学实验室工作。1982年7月，他与莱斯利·兰波特、马歇尔·皮斯在《ACM Transactions on Programming Languages and Systems》发表《The Byzantine Generals Problem》。

论文处理的故障并不只是某个部件停止工作，还包括它向系统不同部分发送互相冲突的信息。作者用将军之间传递消息的模型分析，正常参与者在何种条件下仍能达成一致；不同的消息与签名假设对应不同的解决条件。

参考：[1]

数据库与通信产品

肖斯塔克也与SRI同事理查德·施瓦茨开发Paradox数据库，产品最初由Ansa Software推出。

参考：[2]

后续研究认可

Vocera在2013年6月25日的公司公告中，将肖斯塔克列为公司创始人和当时的首席技术官，并宣布《拜占庭将军问题》获得当年的Jean-Claude Laprie可靠计算奖。这里的职务和获奖记录属于该公告发布时的情况。

参考：[3]