Roberto Shostak

Robert Eliot Shostak (nacido el 26 de julio de 1948 en Arlington, Virginia ) es un científico informático y empresario estadounidense de Silicon Valley. Es reconocido académicamente por su trabajo pionero en la rama de la computación distribuida conocida como tolerancia a fallos bizantinos . También es conocido por ser coautor de la base de datos Paradox y, más recientemente, por fundar Vocera Communications, una empresa que fabrica insignias de comunicación portátiles al estilo de Star Trek .

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 . Posee el número 2 de Erdős gracias a su colaboración con Kenneth Kunen . ^{[ 1 ]} Shostak recibió el Premio Thoralf Skolem por «Decidiendo combinaciones de teorías». ^{[ 2 ]}

Shostak es hermano de Seth Shostak , astrónomo jefe del Instituto SETI , quien aparece con frecuencia en televisión y radio.

Robert Shostak nació en Arlington, Virginia , hijo de Arthur y Bertha Shostak (de soltera Gortenburg); su padre era ingeniero eléctrico. ^{[ 3 ]} Estudió matemáticas e informática en Harvard College , graduándose en 1970 con honores. Como parte de su trabajo de tesis, 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 . ^{[ 4 ]} Continuó sus estudios en Harvard para obtener su maestría y doctorado en informática en 1974. Durante su estancia en Harvard, recibió el Premio Detur al Libro y becas de IBM y la Fundación Nacional de Ciencias .

Posteriormente, Shostak se unió al personal de investigación del Laboratorio de Ciencias de la Computación (CSL) de SRI International (anteriormente Instituto de Investigación de Stanford) en Menlo Park, California . Gran parte de su trabajo allí se centró en la demostración automatizada de teoremas , y específicamente en el desarrollo de algoritmos de procedimientos de decisión ^{[ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ]} para la demostración mecanizada de los tipos de fórmulas matemáticas que aparecen con frecuencia en la verificación formal de la corrección de programas informáticos. ^{[ 10 ]}

En colaboración con Richard L. Schwartz y P. Michael Melliar-Smith de CSL, Shostak implementó un demostrador de teoremas semiautomático que incorporaba algunos de estos procedimientos de decisión. ^{[ 11 ]} El demostrador se utilizó para verificar las propiedades de corrección de una especificación abstracta del sistema operativo SIFT (Software Implemented Fault Tolerance) y posteriormente se incorporó al Prototype Verification System de SRI . El trabajo se publicó en el artículo, SIFT: Design and analysis of a fault-tolerant computer for aircraft control ^{[ 12 ]} Este artículo recibió el premio Jean-Claude Laprie 2014 en Computación Confiable ^{[ 13 ]} establecido por el subgrupo 10.4 de IFIP sobre Computación Confiable .

Quizás la contribución académica más destacada de Shostak sea haber originado la rama de la computación distribuida conocida como tolerancia a fallos bizantinos , también llamada consistencia interactiva .

Este trabajo también se realizó en el marco del proyecto SIFT del SRI. SIFT fue concebido por John H. Wensley, quien propuso utilizar una red de ordenadores de propósito general para controlar de forma fiable una aeronave, incluso si algunos de ellos fallaran. Los ordenadores intercambiarían mensajes sobre la hora y el estado actuales de la aeronave (cada uno tendría sus propios sensores y reloj), y de esta forma llegarían a un consenso.

Inicialmente, se desconocía cuántas computadoras serían necesarias para alcanzar el consenso si algunas de ellas, n, estuvieran defectuosas y posiblemente actuaran de manera maliciosa para impedirlo. Shostak formalizó matemáticamente el problema y demostró que, para n computadoras defectuosas, se necesitaban al menos 3n + 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 utilizando dos rondas de paso de mensajes. Su colega Marshall Pease generalizó el resultado construyendo un algoritmo para 3n + 1 computadoras que funciona para todo n > 0, demostrando así que 3n + 1 son suficientes y necesarios.

Posteriormente, Leslie Lamport se unió a la CSL y demostró que si los mensajes se podían firmar digitalmente, solo se necesitarían 3n .

Los resultados colectivos se publicaron en 1979 en el artículo fundamental, Reaching Agreement in the Presence of Faults , ^{[ 14 ]} que fue galardonado con el Premio Edsger W. Dijkstra de Computación Distribuida de 2005, así como con el Premio Jean-Claude Laprie de 2013 ^{[ 13 ].}

Los mismos autores contribuyeron a popularizar el problema de la consistencia interactiva en su artículo de 1982, El problema de los generales bizantinos ^{[ 15 ]} , que lo presenta en forma de una colorida alegoría propuesta por Lamport. En la alegoría, las computadoras son reemplazadas por generales bizantinos que debían coordinar el momento de un ataque a un enemigo intercambiando mensajes transmitidos por mensajeros. (La formulación original incorporaba generales albaneses en lugar de bizantinos, pero Jack Goldberg, director de CSL, sugirió que esto podría interpretarse como lo que hoy se denomina apropiación cultural ; por lo tanto, el nombre se cambió a bizantino, con la teoría de que esto podría ser menos propenso a causar ofensa).

El trabajo sobre el acuerdo bizantino ha dado origen a todo un subcampo de la computación distribuida, con cientos de artículos publicados que exploran extensiones y aplicaciones de los resultados originales. Una de las más interesantes se encuentra en la implementación de cadenas de bloques , en la que se busca la consistencia interactiva entre una red distribuida de computadoras. ^{[ 16 ]} Las cadenas de bloques sustentan la integridad de criptomonedas como Bitcoin .

En 1984, Shostak y su colega Richard Schwartz fundaron una empresa emergente 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 una de las primeras bases de datos en ejecutarse en computadoras personales IBM . Su interfaz de usuario se basaba en Query by Example , un método gráfico para formular consultas concebido por Moshe Zloof en el Centro de Investigación IBM Watson . En septiembre de 1987, Ansa Software fue adquirida por Borland International , que posteriormente lanzó varias versiones para Windows. Tras más de treinta años, aún existe una comunidad de usuarios. Al momento de escribir este texto, todavía está disponible una versión de terceros para DOS compatible con Windows de 64 bits .

Shostak también es fundador de Vocera Communications , empresa que creó en marzo de 2000. El producto, que facilita la comunicación manos libres entre los miembros de equipos en hospitales y otras empresas, incluye insignias portátiles con reconocimiento de voz, muy parecidas a las insignias de comunicación de Star Trek . ^{[ 17 ]} La empresa salió a bolsa en 2012 (NYSE:VCRA) ^{[ 18 ]} y tiene una capitalización de mercado cercana a los 1.000 millones de dólares en el momento de redactar este texto. Shostak fue director de tecnología y arquitecto jefe hasta su jubilación en 2013, y fue miembro del consejo de administración hasta la salida a bolsa de la empresa.

• Patente estadounidense 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 estadounidense 5,913,029, Base de datos y método distribuidos , presentada en abril de 1957, concedida en junio de 1999, asignada a Portera Systems.
• Patente estadounidense 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 estadounidense 7,190,802, Carcasa 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, concedida en abril de 2007, asignada a Vocera Communications, Inc.
• Patente estadounidense 7,248,881 Sistema y método de comunicación controlados por voz con un dispositivo de acceso o aplicación de credencial , presentada en febrero de 2008, emitida en junio de 2016, asignada a Vocera Communications, Inc.
• Patente estadounidense 7,310,541 , Sistema y método de comunicación controlados por voz , presentada en marzo de 2005, emitida en diciembre de 2007, asignada a Vocera Communications, Inc.
• Patente estadounidense 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 estadounidense 7,764,972, Sistema y método de sala de chat con dispositivo heterogéneo , presentada en febrero de 2007, emitida en julio de 2010, asignada a Vocera Communications, Inc.
• Patente estadounidense 7,953,447 Sistema y método de comunicación controlados por voz mediante una credencial , solicitud presentada en febrero de 2007, emitida en mayo de 2011, asignada a Vocera Communications, Inc.
• Patente estadounidense 8,098,806, Sistema y método de comunicación inalámbrica no específica para el usuario , presentada en agosto de 2003, emitida en enero de 2012, asignada a Vocera Communications, Inc.
• Patente estadounidense 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 estadounidense 8,498,865 Sistema y método de reconocimiento de voz mediante estadísticas de llamadas grupales , presentada en febrero de 2011, emitida en julio de 2013, asignada a Vocera Communications, Inc.
• Patente estadounidense 8,626,246 Sistema y método de comunicaciones inalámbricas controladas por voz mediante una credencial , solicitud presentada en mayo de 2011, emitida en enero de 2014, asignada a Vocera Communications, Inc.
• Patente estadounidense 9,817,809, Sistema y método para el tratamiento de homónimos en un sistema de reconocimiento de voz , presentada en febrero de 2009, concedida en noviembre de 2017, asignada a Vocera Communications, Inc.