Career
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 a professor of computer science at Brown University since 1998. 2003 Dijkstra Prize
2004 Gödel prize
2005 Fellow of the Association for Computing Machinery
2012 Dijkstra Prize
2013 West. Wallace McDowell Award
2013 National Academy of Engineering
2014 National Academy of Inventors Fellow
2015 American Academy of Arts and Sciences Member.