Herlihy, Mauricio

Maurice Herlihy ( nacido el  4 de enero de 1954 , EE . UU .) es un informático estadounidense especializado en el tema de sincronización en multiprocesadores [3] [4] [5] . Herlihy ha contribuido en áreas como los fundamentos teóricos de la sincronización sin bloqueo , las estructuras de datos linealizables , la aplicación de la topología combinatoria a la computación distribuida y la memoria transaccional de software . Es profesor de Ciencias de la Computación en la Universidad de Brown , donde ha estado desde 1994.

Premios

• Premio Dijkstra 2003 [6] por "Sincronización sin espera" [7]
• Premio Gödel 2004 [8] por "La estructura topológica de la computación asíncrona"
• 2005 Miembro de la Asociación de Maquinaria Informática [9]
• Premio Dijkstra 2012 [10] por "Memoria transaccional: soporte arquitectónico para estructuras de datos sin bloqueo" [11]
• Premio Wallace McDowell 2013 [ 12] [13]
• 2013 Academia Nacional de Ingeniería de EE . UU. [14]
• 2014 miembro titular de la Academia Nacional de Inventores [15]
• 2015 Miembro de la Academia Estadounidense de las Artes y las Ciencias [16]

Libros

• Maurice Herlihy, Dmitry Kozlov, Sergio Rajsbaum. Computación distribuida mediante topología combinatoria. - Morgan Kaufmann, 2013. - 336 p. — ISBN 0124045782 .  (Inglés)
• Maurice Herlihy, Nir Shavit . El arte de la programación multiprocesador. - Morgan Kaufmann, 2011. - 528 p. — ISBN 7111247353 .  (Inglés)
• Maurice Herlihy, Nir Shavit . El arte de la programación multiprocesador, reimpresión revisada . - Morgan Kaufmann, 2012. - 536 p. — ISBN 0123973376 .  (Inglés)

Notas

1. ↑ http://cs.brown.edu/~mph/
2. ↑ 1 2 Genealogía matemática  (inglés) - 1997.
3. ↑ Memoria transaccional: soporte arquitectónico para estructuras de datos sin bloqueo . ACM SIGARCH Computer Architecture News - Edición especial: Actas del vigésimo simposio internacional anual sobre arquitectura de computadoras (ISCA '93). Consultado: 27 de junio de 2013. (indefinido)
4. ↑ Sincronización sin esperas . Transacciones ACM en Lenguajes y Sistemas de Programación. Consultado: 27 de junio de 2013. (indefinido)
5. ↑ Linealizabilidad: una condición de corrección para objetos concurrentes . Transacciones ACM en Lenguajes y Sistemas de Programación. Consultado: 27 de junio de 2013. (indefinido)
6. ↑ 2003 Premio Edsger W. Dijkstra en computación distribuida . Procedimientos de ACM sobre Computación Distribuida. Consultado: 27 de junio de 2012. (indefinido)
7. ↑ MAURICE HERLIHY: Sincronización sin esperas
8. ↑ Premio Gödel 2004
9. ↑ ACM: Premio Fellows / Maurice P Herlihy . Asociación de Maquinaria de Cómputo . Consultado: 20 de agosto de 2011. (indefinido)
10. ↑ Premio Edsger W. Dijkstra 2012 en computación distribuida
11. ↑ Maurice Herlihy, J. Eliot B. Moss: Memoria transaccional: soporte arquitectónico para estructuras de datos sin bloqueo
12. ↑ Premio W. Wallace McDowell | Sociedad informática IEEE
13. ↑ Mauricio Herlihy | Sociedad informática IEEE
14. ↑ Academia Nacional de Ingeniería . NAE . Fecha de acceso: 30 de abril de 2014. (indefinido)
15. ↑ Miembro de la Academia Nacional de Inventores . Universidad Brown . Fecha de acceso: 30 de abril de 2014. (indefinido)
16. ↑ Miembro de la Academia Estadounidense de las Artes y las Ciencias . Universidad Brown . Fecha de acceso: 30 de abril de 2014. (indefinido)

Enlaces

• cs.brown.edu/~mph/ - sitio web oficial de Maurice Herlihy 
• Maurice Herlihy  (inglés) en el Proyecto  de genealogía matemática (inglés)