{"slug":"maurice-herlihy","title":"Maurice Herlihy","summary":"Maurice Herlihy is a distinguished computer scientist at Brown University whose groundbreaking research in multiprocessor synchronization, wait-free algorithms, and the application of combinatorial topology to distributed computing has earned him multiple prestigious awards and fundamentally shaped the field of concurrent and distributed systems.","content_md":"# Maurice Herlihy\n\n**Maurice Peter Herlihy** (born January 4, 1954) is an American computer scientist and the An Wang Professor of Computer Science at Brown University [1][2]. He is widely recognized as one of the leading researchers in the field of multiprocessor synchronization and distributed computing, having made fundamental contributions to both the theoretical foundations and practical applications of concurrent programming [1][3].\n\n## Early Life and Education\n\nHerlihy earned his A.B. in Mathematics from Harvard University before pursuing graduate studies at the Massachusetts Institute of Technology (MIT), where he completed his Ph.D. in Computer Science [4][5]. This strong mathematical foundation would prove instrumental in his later theoretical contributions to computer science.\n\n## Academic Career\n\nAfter completing his doctoral studies, Herlihy began his academic career at Carnegie Mellon University, where he served on the faculty before joining the research staff at DEC Cambridge Research Lab [4][5]. He eventually joined Brown University, where he currently holds the position of An Wang Professor of Computer Science [2][6].\n\n## Research Contributions\n\n### Wait-Free Synchronization\n\nHerlihy's most significant contributions lie in the theoretical foundations of **wait-free synchronization**, a critical area in concurrent programming where multiple processors or threads must coordinate access to shared resources without blocking each other [1]. His work in this area has provided fundamental insights into how concurrent systems can be designed to guarantee progress for all participating processes.\n\n### Linearizable Data Structures\n\nAnother major area of Herlihy's research involves **linearizable data structures**, which are concurrent data structures that appear to execute operations atomically at some point between their start and completion times [1]. This work has been crucial for developing reliable concurrent algorithms and systems.\n\n### Combinatorial Topology in Distributed Computing\n\nHerlihy has pioneered the application of **combinatorial topology** to distributed computing problems [1]. This innovative approach uses mathematical tools from topology to analyze the solvability of distributed computing problems, providing new theoretical frameworks for understanding fundamental limitations in distributed systems.\n\n### Blockchain and Distributed Ledgers\n\nIn recent years, Herlihy has extended his research into blockchain technology and distributed ledgers [2], applying his expertise in distributed computing to understand and improve these emerging technologies.\n\n## Awards and Recognition\n\nHerlihy's contributions to computer science have been recognized with numerous prestigious awards:\n\n- **2003 Dijkstra Prize in Distributed Computing** [4][5]\n- **2004 Gödel Prize in Theoretical Computer Science** [4][5]\n- **2008 ISCA Influential Paper Award** [4][5]\n- **2012 Edsger W. Dijkstra Prize** [5]\n- **2013 Wallace McDowell Award** [5]\n- **Honorary Doctorate in Informatics** from Università della Svizzera italiana (USI) for \"fundamental contributions, both practical and theoretical, to concurrent and distributed computing\" [8]\n\nThe Gödel Prize, in particular, is one of the most prestigious awards in theoretical computer science, recognizing outstanding papers in the area of theoretical computer science.\n\n## Academic Impact\n\nHerlihy's research has had enormous impact on the field of computer science, with his work being cited over 20,900 times according to academic databases [3]. He has published 393 research papers that have influenced both theoretical understanding and practical implementations in distributed computing [3].\n\nHis influence extends beyond his own research through his mentorship of graduate students and collaboration with researchers worldwide. The theoretical frameworks he has developed continue to be fundamental tools for researchers working on concurrent and distributed systems.\n\n## Current Work\n\nAs the An Wang Professor at Brown University, Herlihy continues to conduct cutting-edge research in distributed computing and blockchain technology [2]. His current interests include applying his theoretical expertise to practical problems in modern distributed systems and exploring the intersection of traditional distributed computing with emerging technologies like blockchain and cryptocurrency systems.\n\n## Legacy\n\nMaurice Herlihy's work has fundamentally shaped our understanding of concurrent and distributed computing. His theoretical contributions have provided the mathematical foundations that underpin many modern concurrent systems, while his practical insights have influenced the design of real-world distributed applications. The combination of rigorous theoretical analysis with practical relevance has made his work essential reading for anyone working in distributed systems.\n\n## Related Topics\n\n- Wait-Free Synchronization\n- Linearizability\n- Distributed Computing\n- Concurrent Programming\n- Combinatorial Topology\n- Blockchain Technology\n- Multiprocessor Systems\n- Theoretical Computer Science\n\n## Summary\n\nMaurice Herlihy is a distinguished computer scientist at Brown University whose groundbreaking research in multiprocessor synchronization, wait-free algorithms, and the application of combinatorial topology to distributed computing has earned him multiple prestigious awards and fundamentally shaped the field of concurrent and distributed systems.\n\n\n\n","sources":[{"url":"https://en.wikipedia.org/wiki/Maurice_Herlihy","title":"Maurice Herlihy - Wikipedia","snippet":"Maurice Peter Herlihy (born 4 January 1954) is an American computer scientist active in the field of multiprocessor synchronization. [1][2][3] Herlihy has contributed to areas including theoretical foundations of wait-free synchronization, linearizable data structures, applications of combinatorial topology to distributed computing, as well as ..."},{"url":"https://scholar.google.com/citations?user=Ezrt3pkAAAAJ&hl=en","title":"‪Maurice Herlihy‬ - ‪Google Scholar‬","snippet":"Maurice Herlihy · An Wang Professor of Computer Science, Brown University · Verified email at cs.brown.edu · distributed computingblockchain · ArticlesCited byPublic accessCo-authors · PrivacyTermsHelp ·"},{"url":"https://www.researchgate.net/profile/Maurice-Herlihy","title":"Maurice HERLIHY | Brown University, Providence | Department of Computer Science | Research profile","snippet":"Maurice HERLIHY | Cited by 20,901 | of Brown University, Rhode Island | Read 393 publications | Contact Maurice HERLIHY"},{"url":"https://professional.brown.edu/people/maurice-herlihy","title":"Maurice Herlihy | School of Professional Studies | Brown University","snippet":"Maurice Herlihy has an A.B. in Mathematics from Harvard University, and a Ph.D. in Computer Science from M.I.T. He has served on the faculty of Carnegie Mellon University and the staff of DEC Cambridge Research Lab. He is the recipient of the 2003 Dijkstra Prize in Distributed Computing, the 2004 Gödel Prize in theoretical computer science, the 2008 ISCA influential paper award, the 2012 Edsger W."},{"url":"https://simons.berkeley.edu/people/maurice-herlihy","title":"Maurice Herlihy - simons.berkeley.edu","snippet":"Maurice Herlihy has an A.B. in Mathematics from Harvard University, and a Ph.D. in Computer Science from M.I.T. He has served on the faculty of Carnegie Mellon University and the staff of DEC Cambridge Research Lab. He is the recipient of the 2003 Dijkstra Prize in Distributed Computing, the 2004 Gödel Prize in theoretical computer science, the 2008 ISCA influential paper award, the 2012 Edsger W. Dijkstra Prize, and the 2013 Wallace McDowell award."},{"url":"https://www.linkedin.com/in/maurice-herlihy-1888865/","title":"Maurice Herlihy: An Wang Professor at Brown University","snippet":"Maurice Herlihy has an A.B. in Mathematics from Harvard University, and a Ph.D. in… · Experience: Brown University Location: Brookline · 500+ connections on LinkedIn. View Maurice Herlihy’s profile on LinkedIn, a professional community of 1 billion members."},{"url":"https://www.computer.org/profiles/maurice-herlihy","title":"Maurice Herlihy","snippet":"Maurice Herlihy has an A.B. in ... on the staff of DEC Cambridge Research Lab, and is currently Professor in the Computer Science Department at Brown University...."},{"url":"https://www.usi.ch/en/feeds/31782","title":"Honorary doctorate to Maurice Herlihy","snippet":"During USI's 29th Dies academicus, Maurice Herlihy, Professor at Brown University, was awarded an Honorary Doctorate in Informatics with the distinction: \"For fundamental contributions, both practical and theoretical, to concurrent and distributed ..."}],"infobox":{"Born":"January 4, 1954","Type":"Person","Position":"An Wang Professor of Computer Science","Education":"A.B. Mathematics (Harvard), Ph.D. Computer Science (MIT)","Occupation":"Computer Scientist, Professor","Institution":"Brown University","Nationality":"American","Notable Awards":"Gödel Prize (2004), Dijkstra Prize (2003, 2012), Wallace McDowell Award (2013)"},"metadata":{"tags":["distributed-computing","concurrent-programming","theoretical-computer-science","synchronization","blockchain","multiprocessor-systems","combinatorial-topology"],"quality":{"status":"generated","reviewed_by":[],"flagged_issues":[]},"category":"Technology","difficulty":"advanced","subcategory":"Computer Science"},"model_used":"anthropic/claude-4-sonnet-20250522","revision_number":1,"view_count":6,"related_topics":["linearizability"],"sections":["Maurice Herlihy","Early Life and Education","Academic Career","Research Contributions","Wait-Free Synchronization","Linearizable Data Structures","Combinatorial Topology in Distributed Computing","Blockchain and Distributed Ledgers","Awards and Recognition","Academic Impact","Current Work","Legacy","Related Topics","Summary"]}