Bowen Alpern
Bowen Alpern · Tecnología e ingeniería
Alpern, informático estadounidense incluido entre las figuras judías de la computación, coescribió con Fred Schneider el artículo de 1985 'Defining Liveness', que dio significado riguroso a las nociones de seguridad y vivacidad centrales para la corrección de programas.
1952, Hillsboro, Oregón, Estados Unidos
Estados Unidos
Alpern, informático estadounidense incluido entre las figuras judías de la computación, coescribió con Fred Schneider el artículo de 1985 'Defining Liveness', que dio significado riguroso a las nociones de seguridad y vivacidad centrales para la corrección de programas. Esa descomposición se volvió fundamental para la verificación formal de sistemas concurrentes y distribuidos. Él y Schneider recibieron el Premio Dijkstra 2018.
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.
Alpern, informático estadounidense incluido entre las figuras judías de la computación, coescribió con Fred Schneider el artículo de 1985 'Defining Liveness', que dio significado riguroso a las nociones de seguridad y vivacidad centrales para la corrección de programas.
Fuente: Jinfo.org — Jewish recipients of the Dijkstra Prize
Contribuidores similares
Fred Schneider
