Robert E. Shostak | |
|---|---|
 | |
| Born | July 26, 1948 Arlington County, Virginia, United States |
| Alma mater | A.B., A.M., Ph.D. Harvard |
| Known for | |
| Awards | |
| Scientific career | |
| Fields | Computer Science |
Robert Eliot Shostak (born July 26, 1948, in Arlington, Virginia) is an American computer scientist and Silicon Valley entrepreneur. He is most noted academically for his seminal work in the branch of distributed computing known as Byzantine Fault Tolerance. He is also known for co-authoring the Paradox Database, and most recently, the founding of Vocera Communications, a company that makes wearable, Star Trek-like communication badges.
Shostak has authored more than forty academic papers and patents, and was editor of the 7th Conference on Automated Deduction. He has Erdős number 2 through his collaboration with Kenneth Kunen.[1] Shostak received the Thoralf Skolem Award for "Deciding Combinations of Theories"[2]
Shostak is a brother of Seth Shostak, who is Senior Astronomer at the SETI Institute and who frequently appears on television and radio.
- ^ W. W. Bledsoe; Kenneth Kunen; Robert E. Shostak (1985). "Completeness Results for Inequality Provers". Artificial Intelligence. 27 (3): 255–288. doi:10.1016/0004-3702(85)90015-3.
- ^ "Skolem Award". cadeinc.org. Retrieved 2023-12-06.