Maurice Peter Herlihy (nacido el 4 de enero de 1954) es un científico informático activo en el campo de la sincronización multiprocesador . [1] [2] [3] Herlihy ha contribuido en áreas que incluyen fundamentos teóricos de sincronización sin espera, estructuras de datos linealizables, aplicaciones de topología combinatoria para computación distribuida , así como memoria transaccional de hardware y software. Es profesor An Wang de Ciencias de la Computación en la Universidad de Brown , donde ha sido miembro de la facultad desde 1994. [4]
Herlihy fue elegido miembro de la Academia Nacional de Ingeniería en 2013 por técnicas de computación concurrente para linealización, estructuras de datos sin bloqueo y memoria transaccional.
Reconocimiento
- Premio Dijkstra 2003 [5]
- Premio Gödel 2004 [6]
- 2005 Miembro de la Asociación de Maquinaria de Computación [7]
- Premio Dijkstra 2012 [5]
- 2013 W. McDowell Premio Wallace [8]
- 2013 Academia Nacional de Ingeniería [9]
- Becario de la Academia Nacional de Inventores 2014 [10]
- 2015 Miembro de la Academia Estadounidense de Artes y Ciencias [11]
Referencias
- ^ "Memoria transaccional: soporte arquitectónico para estructuras de datos sin bloqueo" . Noticias de Arquitectura de Computadoras de ACM SIGARCH - Número especial: Actas del 20º simposio internacional anual sobre arquitectura de computadoras (ISCA '93) . Consultado el 27 de junio de 2013 .
- ^ "Sincronización sin espera" . Transacciones ACM sobre lenguajes y sistemas de programación . Consultado el 27 de junio de 2013 .
- ^ "Linealizabilidad: una condición de corrección para objetos concurrentes" . Transacciones ACM sobre lenguajes y sistemas de programación . Consultado el 27 de junio de 2013 .
- ^ "Maurice Herlihy - directorio de investigación marrón" . Consultado el 27 de junio de 2013 .
- ^ a b "Premio Edsger W. Dijkstra en Computación Distribuida" . Actas de ACM sobre Computación Distribuida . Consultado el 27 de junio de 2012 .
- ^ "Premio Gödel" . ACM SIGACT . Archivado desde el original el 22 de abril de 2018 . Consultado el 20 de agosto de 2011 .
- ^ "ACM: Premio Fellows / Maurice P Herlihy" . Asociación de Maquinaria Informática . Consultado el 20 de agosto de 2011 .
- ^ "Premio W. Wallace McDowell" . IEEE . Archivado desde el original el 29 de mayo de 2013 . Consultado el 5 de mayo de 2013 .
- ^ "Academia Nacional de Ingeniería" . NAE . Consultado el 30 de abril de 2014 .
- ^ "Becario de la Academia Nacional de Inventores" . Universidad de Brown . Consultado el 30 de abril de 2014 .
- ^ "Miembro de la Academia Estadounidense de Artes y Ciencias" . Universidad de Brown . Consultado el 30 de abril de 2014 .
enlaces externos
- Sitio web
- Maurice Herlihy en el Proyecto de genealogía matemática