Robert Eliot Shostak es un americano científico informático y empresario de Silicon Valley. Es más conocido académicamente por su trabajo fundamental en la rama de la computación distribuida conocida como tolerancia a fallas bizantinas . También es conocido por ser coautor de la base de datos Paradox y, más recientemente, por la fundación de Vocera Communications , una empresa que fabrica insignias de comunicación portátiles, similares a Star Trek .
Robert E. Shostak | |
---|---|
Nació | |
Nacionalidad | americano |
Ciudadanía | Estados Unidos |
alma mater | AB, AM, Ph.D. Harvard |
Conocido por | |
Premios | |
Carrera científica | |
Campos | Ciencias de la Computación |
Shostak es autor de más de cuarenta artículos académicos y patentes, y fue editor de la 7ª Conferencia sobre Deducción Automatizada . Tiene el número 2 de Erd gracias a su colaboración con Kenneth Kunen . [1]
Shostak es hermano de Seth Shostak , astrónomo principal del Instituto SETI y que aparece con frecuencia en televisión y radio.
Educación
Robert Shostak creció en Arlington, Virginia. Estudió matemáticas e informática en la Universidad de Harvard y se graduó en 1970 con altos honores. Como parte de su trabajo de tesis de último año, diseñó y construyó una de las primeras computadoras personales utilizando lógica RTL discreta (los microprocesadores aún no estaban disponibles) y una memoria de núcleo magnético . [2] Continuó en Harvard para obtener su título de AM y su doctorado. en Ciencias de la Computación en 1974. Mientras estaba en Harvard, recibió el premio Detur Book Prize y becas de IBM y la National Science Foundation .
Carrera profesional
Posteriormente, Shostak se unió al personal de investigación en el Laboratorio de Ciencias de la Computación (CSL) en SRI International (anteriormente el Instituto de Investigación de Stanford) en Menlo Park, California . Gran parte de su trabajo no se centró en demostración automática de teoremas , y específicamente en el desarrollo del procedimiento de toma algoritmos [3] [4] [5] [6] [7] para la prueba de mecanizado de los tipos de fórmulas matemáticas que se producen con frecuencia en el formal, verificación de la corrección de los programas informáticos. [8]
En colaboración con Richard L. Schwartz y P. Michael Melliar-Smith de CSL, Shostak implementó un demostrador de teoremas semiautomático que incorpora algunos de estos procedimientos de decisión. [9] El probador se utilizó para verificar las propiedades de corrección de una especificación abstracta del sistema operativo SIFT (para tolerancia a fallas implementadas por software) y luego se incorporó al sistema de verificación de prototipos de SRI . El trabajo fue publicado en el artículo SIFT: Diseño y análisis de una computadora tolerante a fallas para el control de aeronaves [10] Este artículo fue galardonado con el Premio Jean-Claude Laprie 2014 en Computación Dependable [11] establecido por el Subgrupo 10.4 de IFIP sobre Dependable Computación .
Consistencia interactiva y tolerancia a fallas bizantinas
Quizás la contribución académica más notable de Shostak es haber originado la rama de la computación distribuida conocida como tolerancia a fallas bizantina , también llamada consistencia interactiva .
Este trabajo también se realizó en relación con el proyecto SIFT en SRI. SIFT fue concebido por John H. Wensley, quien propuso usar una red de computadoras de uso general para controlar de manera confiable una aeronave, incluso si algunas de esas computadoras tenían fallas. Las computadoras intercambiarían mensajes sobre la hora actual y el estado de la aeronave (cada una tendría sus propios sensores y reloj) y, por lo tanto, llegarían a un consenso.
Al principio, se desconocía cuántos equipos serían necesarios para llegar a un consenso si alguno de ellos presentaba fallas y posiblemente actuaran de manera "maliciosa" para frustrar el consenso. Shostak formalizó el problema matemáticamente y demostró que para n computadoras defectuosas, se necesitaban no menos de 3 n +1 computadoras en total para cualquier algoritmo que pudiera garantizar el consenso, o lo que él denominó consistencia interactiva . También ideó un algoritmo para n = 1, demostrando que cuatro computadoras eran suficientes con dos rondas de transmisión de mensajes. Su colega Marshall Pease luego generalizó el resultado mediante la construcción de un algoritmo para 3 n +1 computadoras que funciona para todos n > 0, mostrando así que 3 n +1 son suficientes y necesarios.
Leslie Lamport se unió más tarde a la CSL y demostró que si los mensajes se podían firmar digitalmente, solo se necesitan 3 n .
Los resultados colectivos se publicaron en 1979 en el artículo fundamental Reaching Agreement in the Presence of Faults , [12] que recibió el Premio Edsger W. Dijkstra de Computación Distribuida 2005 , así como el Premio Jean-Claude Laprie 2013 [11]
Los mismos autores ayudaron a popularizar el problema de la coherencia interactiva en su artículo de 1982, The Byzantine Generals Problem , [13] que lo presenta en forma de una alegoría colorida propuesta por Lamport. En la alegoría, las computadoras son reemplazadas por generales bizantinos que necesitaban coordinar el momento de un ataque a un enemigo intercambiando mensajes enviados por mensajeros. (La formulación original incorporó generales albaneses en lugar de bizantinos, pero Jack Goldberg, el jefe de CSL, sugirió que esto podría interpretarse como lo que ahora podría llamarse apropiación cultural , por lo que el nombre se cambió a bizantino en la teoría de que esto podría ser menos probable que cause una ofensa.)
El trabajo sobre el acuerdo bizantino ha generado todo un subcampo de la computación distribuida con cientos de artículos publicados que exploran extensiones y aplicaciones de los resultados originales. Uno de los más interesantes es la implementación de blockchains , en la que se busca la coherencia interactiva entre una red distribuida de ordenadores. [14] Las cadenas de bloques sustentan la integridad de las criptomonedas como Bitcoin .
Proyectos empresariales
En 1984, Shostak y su colega Richard Schwartz fundaron una empresa de nueva creación en Silicon Valley llamada Ansa Software . La empresa fue financiada por Ben Rosen de Sevin Rosen . Su producto, una base de datos para PC llamada Paradox , se lanzó en 1985 y fue uno de los primeros productos de base de datos que se ejecutaron en computadoras personales de IBM . Su interfaz de usuario se basaba en Query by Example , un método gráfico para formular consultas que había sido concebido por Moshe Zloof en IBM Watson Research Center . En septiembre de 1987, Borland International compró Ansa Software , que posteriormente lanzó varias versiones de Windows. Aún existe una comunidad de usuarios después de más de treinta años. En el momento de escribir este artículo, todavía está disponible una versión de DOS de terceros para Windows de 64 bits .
Shostak también es fundador de Vocera Communications , que fundó en marzo de 2000. El producto, que facilita la comunicación manos libres entre miembros de equipos en hospitales y otras empresas, incluye insignias vestibles con capacidad de voz muy parecidas a las insignias de comunicación de Star Trek . [15] La empresa se hizo pública en 2012 (NYSE: VCRA) [16] y tiene una capitalización de mercado cercana a los mil millones de dólares al momento de escribir este artículo. Shostak se desempeñó como director de tecnología y arquitecto en jefe hasta que se jubiló en 2013 y fue miembro de la junta hasta la salida a bolsa de la empresa.
Patentes seleccionadas
- Patente de EE.UU. 5.694.608 Sistema de base de datos no modal con métodos para el mantenimiento incremental de vistas en vivo , presentada en enero de 1995, emitida en diciembre de 1997, asignada a Borland International, Inc.
- Patente de Estados Unidos 5.913.029 Método y base de datos distribuidos , presentada en abril de 1957, expedida en junio de 1999, asignada a Portera Systems
- Patente de Estados Unidos 6.892.083 Sistema y método de comunicaciones inalámbricas controladas por voz , presentada en agosto de 2001, emitida en mayo de 2005, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 7,190,802 Caja de micrófono para reducir la interferencia acústica , presentada en agosto de 2002, emitida en marzo de 2007, asignada a Vocera Communications, Inc.
- Patente estadounidense 7,206,594 Sistema y método de sala de chat de comunicación inalámbrica , presentada en febrero de 2004, emitida en abril de 2007, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 7,248,881 Sistema y método de comunicación controlado por voz que tiene un dispositivo de acceso o una solicitud de insignia , presentada en febrero de 2008, emitida en junio de 1016, asignada a Vocera Communications, Inc.
- Patente de EE.UU. 7.310.541 Sistema y método de comunicación controlado por voz , presentada en marzo de 2005, emitida en diciembre de 2007, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 7,457,751 Sistema y método para mejorar la precisión del reconocimiento en aplicaciones de reconocimiento de voz , presentada en noviembre de 2004, emitida en noviembre de 2008, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 7,764,972 Sistema y método de sala de chat de dispositivo heterogéneo , presentada en febrero de 2007, emitida en julio de 2010, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 7,953,447 Sistema y método de comunicación controlado por voz que utiliza una solicitud de credencial , presentada en febrero de 2007, emitida en mayo de 2011, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 8.098.806 Sistema y método de comunicación inalámbrica no específico del usuario , presentada en agosto de 2003, emitida en enero de 2012, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 8,175,887 Sistema y método para mejorar la precisión del reconocimiento en aplicaciones de reconocimiento de voz , presentada en octubre de 2008, emitida en mayo de 2012, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 8,498,865 Sistema y método de reconocimiento de voz que usa estadísticas de llamadas grupales , presentada en febrero de 2011, emitida en julio de 2013, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 8,626,246 Sistema y método de comunicaciones inalámbricas controladas por voz que utiliza una solicitud de credencial , presentada en mayo de 2011, emitida en enero de 2014, asignada a Vocera Communications, Inc.
- Patente de EE. UU. 9,817,809 Sistema y método para tratar homónimos en un sistema de reconocimiento de voz , presentada en febrero de 2009, emitida en noviembre de 2017, asignada a Vocera Communications, Inc.
Referencias
- ^ WW Bledsoe; Kenneth Kunen ; Robert E. Shostak (1985). "Resultados de integridad para probadores de desigualdad". Inteligencia artificial . 27 (3): 255–288. doi : 10.1016 / 0004-3702 (85) 90015-3 .
- ^ Shostak, Robert (1970). "SIC: una pequeña computadora digital de bajo costo" .
- ^ Robert E. Shostak (1977). "Sobre el método SUP-INF para probar fórmulas de pre hamburguesa". Revista de la ACM . 24 (4): 529–543. doi : 10.1145 / 322033.322034 .
- ^ Robert E. Shostak (1978). "Un algoritmo para razonar sobre la igualdad". Comunicaciones de la ACM . 21 (7): 583–585. doi : 10.1145 / 359545.359570 .
- ^ Robert E. Shostak (1979). "Un procedimiento de decisión práctica para aritmética con símbolos de función". Revista de la ACM . 26 (2): 351–360. doi : 10.1145 / 322123.322137 .
- ^ Robert E. Shostak (1981). "Decidir desigualdades lineales calculando residuos de bucle". Revista de la ACM . 28 (4): 351–360.
- ^ Robert E. Shostak (1984). "Decidir combinaciones de teorías". Revista de la ACM . 31 (1): 1–12. doi : 10.1145 / 2422.322411 .
- ^ A., MacKenzie, Donald (2001). Mecanizar la prueba: informática, riesgo y confianza . Cambridge, Mass .: MIT Press. págs. 268-272 . ISBN 978-0262133937. OCLC 45835532 .
- ^ Shostak, Robert E .; Shostak, Richard L .; Melliar-Smith, P. Michael (1982). Loveland, Donald (ed.). "STP: Una lógica mecanizada para la especificación y las verificaciones". Actas de la VI Jornada sobre Deducción Automática . Apuntes de conferencias en informática. Springer, Berlín, Heidelberg. 138 : 32–49. doi : 10.1007 / BFb0000050 . ISBN 3-540-11558-7.
- ^ Wensley, John H .; Lamport, L .; Goldberg, J .; Verde, MW; Levitt, KN; Melliar-Smith, PM; Shostak, R. E; Weinstock, CB (octubre de 1978). "SIFT: Diseño y análisis de una computadora tolerante a fallas para el control de aeronaves". Actas del IEEE . 66 (10): 1240-1255. doi : 10.1109 / PROC.1978.11114 .
- ^ a b "El premio Jean-Claude Laprie" . jclaprie-award.dependability.org . Consultado el 21 de febrero de 2019 .
- ^ M. Pease; R. Shostak; L. Lamport (1979). "Llegar a un acuerdo en presencia de fallas". Revista de la ACM . 27 (2): 228–234. CiteSeerX 10.1.1.68.4044 . doi : 10.1145 / 322186.322188 .
- ^ L. Lamport; R. Shostak; M. Pease (1982). "El problema de los generales bizantinos". Transacciones ACM sobre lenguajes y sistemas de programación . 4 (1): 382–401. CiteSeerX 10.1.1.64.2312 . doi : 10.1145 / 357172.357176 .
- ^ Imran, Bashir (17 de marzo de 2017). Dominar blockchain: contabilidad distribuida, descentralización y contratos inteligentes explicados . Birmingham, Reino Unido. págs. 12, 30. ISBN 9781787129290. OCLC 981928401 .
- ^ Hesseldahl, Arik (16 de marzo de 2004). "Tu Trekkie Communicator está listo" . Revista Forbes .
- ^ Gallagher, Dan (28 de marzo de 2012). "Vocera Communications salta en el debut de OPI" . MarketWatch .