Maurice Herlihy
Maurice Peter Herlihy (born 4 January 1954) is a computer scientist active in the field of multiprocessor synchronization.[1][2][3] Herlihy has contributed to the design of concurrent algorithms, and in particular to the exposition and quantification of the properties and uses of hardware synchronization operations. He is the An Wang Professor of Computer Science at Brown University, where he has been a member of the faculty since 1998.[4]
Recognition
- 2003 Dijkstra Prize[5]
- 2004 Gödel prize[6]
- 2005 Fellow of the Association for Computing Machinery[7]
- 2012 Dijkstra Prize[5]
- 2013 W. Wallace McDowell Award[8]
- 2013 National Academy of Engineering[9]
- 2014 National Academy of Inventors Fellow[10]
- 2015 American Academy of Arts and Sciences Member[11]
References
- ↑ "Linearizability: a correctness condition for concurrent objects". ACM Transactions on Programming Languages and Systems. Retrieved 27 June 2013.
- ↑ "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). Retrieved 27 June 2013.
- ↑ "Wait-free synchronization". ACM Transactions on Programming Languages and Systems. Retrieved 27 June 2013.
- ↑ "Maurice Herlihy - Brown Research Directory". Retrieved 27 June 2013.
- 1 2 "Edsger W. Dijkstra Prize in Distributed Computing". ACM Proceedings on Distributed Computing. Retrieved 27 June 2012.
- ↑ "Gödel Prize". ACM SIGACT. Retrieved 20 August 2011.
- ↑ "ACM: Fellows Award / Maurice P Herlihy". Association for Computing Machinery. Retrieved 20 August 2011.
- ↑ "W. Wallace McDowell Award". IEEE. Retrieved 5 May 2013.
- ↑ "National Academy of Engineering". NAE. Retrieved 30 April 2014.
- ↑ "National Academy of Inventors Fellow". Brown University. Retrieved 30 April 2014.
- ↑ "American Academy of Arts and Sciences Member". Brown. Retrieved 30 April 2014.
External links
This article is issued from Wikipedia - version of the 5/31/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.