Maurice Herlihy – Wikipédia, a enciclopédia livre
Maurice Herlihy | |
---|---|
Nascimento | 4 de janeiro de 1954 (70 anos) |
Nacionalidade | estadunidense |
Prêmios | Prêmio Dijkstra (2003, 2012), Prêmio Gödel (2004) |
Orientador(es)(as) | Barbara Liskov |
Campo(s) | ciência da computação |
Maurice Peter Herlihy (4 de janeiro de 1954) é um cientista da computação ativo no campo da sincronização de multiprocessadores.[1][2][3] Herlihy contribuiu com o projeto de algoritmos concorrentes, e em particular para a exposição e quantificação das propriedades e usos de operações de sincronização de hardware. É professor da cátedra An Wang de Ciência da Computação da Universidade Brown.[4]
Reconhecimentos
[editar | editar código-fonte]- 2003 Prêmio Dijkstra[5]
- 2004 Prêmio Gödel[6]
- 2005 Fellow of the Association for Computing Machinery[7]
- 2012 Prêmio Dijkstra[5]
- 2013 Prêmio W. Wallace McDowell[8]
- 2013 Academia Nacional de Engenharia dos Estados Unidos[9]
- 2014 National Academy of Inventors Fellow[10]
- 2015 Academia de Artes e Ciências dos Estados Unidos[11]
Referências
- ↑ «Linearizability: a correctness condition for concurrent objects». ACM Transactions on Programming Languages and Systems. Consultado em 18 de agosto de 2016
- ↑ «Transactional memory: architectural support for lock-free data structures». ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 20th annual international symposium on Computer architecture (ISCA '93). Consultado em 18 de agosto de 2016
- ↑ «Wait-free synchronization». ACM Transactions on Programming Languages and Systems. Consultado em 18 de agosto de 2016
- ↑ «Maurice Herlihy - Brown Research Directory». Consultado em 27 de junho de 2013
- ↑ a b «Edsger W. Dijkstra Prize in Distributed Computing». ACM Proceedings on Distributed Computing. Consultado em 27 de junho de 2012
- ↑ «Gödel Prize». ACM SIGACT. Consultado em 20 de agosto de 2011. Arquivado do original em 22 de abril de 2018
- ↑ «ACM: Fellows Award / Maurice P Herlihy». Association for Computing Machinery. Consultado em 20 de agosto de 2011
- ↑ «W. Wallace McDowell Award». IEEE. Consultado em 5 de maio de 2013. Arquivado do original em 29 de maio de 2013
- ↑ «National Academy of Engineering». NAE. Consultado em 30 de abril de 2014
- ↑ «National Academy of Inventors Fellow». Brown University. Consultado em 30 de abril de 2014
- ↑ «American Academy of Arts and Sciences Member». Brown. Consultado em 30 de abril de 2014
Ligações externas
[editar | editar código-fonte]- Website
- Maurice Herlihy (em inglês) no Mathematics Genealogy Project