Maurice Herlihy

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].

Early Life and Education

Herlihy 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.

Academic Career

After 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].

Research Contributions

Wait-Free Synchronization

Herlihy'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.

Linearizable Data Structures

Another 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.

Combinatorial Topology in Distributed Computing

Herlihy 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.

Blockchain and Distributed Ledgers

In 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.

Awards and Recognition

Herlihy's contributions to computer science have been recognized with numerous prestigious awards:

• 2003 Dijkstra Prize in Distributed Computing [4][5]
• 2004 Gödel Prize in Theoretical Computer Science [4][5]
• 2008 ISCA Influential Paper Award [4][5]
• 2012 Edsger W. Dijkstra Prize [5]
• 2013 Wallace McDowell Award [5]
• Honorary Doctorate in Informatics from Università della Svizzera italiana (USI) for "fundamental contributions, both practical and theoretical, to concurrent and distributed computing" [8]

The 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.

Academic Impact

Herlihy'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].

His 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.

Current Work

As 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.

Legacy

Maurice 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.

Related Topics

• Wait-Free Synchronization
• Linearizability
• Distributed Computing
• Concurrent Programming
• Combinatorial Topology
• Blockchain Technology
• Multiprocessor Systems
• Theoretical Computer Science

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.