Fred Schneider
Fred Schneider · Tecnología e ingeniería
Schneider es un informático de la Universidad Cornell que, junto con Bowen Alpern, dotó al campo de definiciones formales rigurosas de las propiedades de «seguridad» y «vivacidad» en sistemas concurrentes y distribuidos, trabajo reconocido con el Premio Dijkstra 2018.
1953, Estados Unidos
Estados Unidos
Schneider es un informático de la Universidad Cornell que, junto con Bowen Alpern, dotó al campo de definiciones formales rigurosas de las propiedades de «seguridad» y «vivacidad» en sistemas concurrentes y distribuidos, trabajo reconocido con el Premio Dijkstra 2018. Su investigación sustenta los enfoques modernos de la tolerancia a fallos y la computación confiable. Figura entre los galardonados judíos del Premio Dijkstra según el índice biográfico judío Jinfo; las biografías generales no detallan más su origen.
Verifique y profundice con estas referencias externas.
Fuente: Jinfo.org — Jewish recipients of the Dijkstra Prize
Esta página se publica en siete idiomas a partir de una fuente en inglés. Las traducciones se revisan, pero puede colarse un error. Si detecta alguno en esta ficha —una palabra equivocada, una fecha perdida, una frase que dice algo que el inglés no dice—, háganoslo saber.
Schneider es un informático de la Universidad Cornell que, junto con Bowen Alpern, dotó al campo de definiciones formales rigurosas de las propiedades de «seguridad» y «vivacidad» en sistemas concurrentes y distribuidos, trabajo reconocido con el Premio Dijkstra 2018.
Fuente: Jinfo.org — Jewish recipients of the Dijkstra Prize
Contribuidores similares
Bowen Alpern
Alon Itai
