Personal information

No personal information available

Biography

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. He received a 2012 Fulbright Distinguished Chair in the Natural Sciences and Engineering Lecturing Fellowship, and he is fellow of the ACM, a fellow of the National Academy of Inventors, the National Academy of Engineering, and the National Academy of Arts and Sciences.

Activities

Works (5)

Invited Paper: The Smart Contract Model

2025 | Book chapter
Contributors: Yackolley Amoussou-Guenou; Maurice Herlihy; Maria Potop-Butucaru; Sergio Rajsbaum
Source: check_circle
Crossref

Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps

2023-01-04 | Conference paper
Contributors: Yingjie Xue; Di Jin; Maurice Herlihy
Source: check_circle
Crossref

Invited Paper: Cross-Chain State Machine Replication

2022 | Book chapter
Contributors: Yingjie Xue; Maurice Herlihy
Source: check_circle
Crossref

Cross-chain deals and adversarial commerce

The VLDB Journal
2022-11 | Journal article
Contributors: Maurice Herlihy; Barbara Liskov; Liuba Shrira
Source: check_circle
Crossref

Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance

2021 | Book chapter
Contributors: Daniel Engel; Maurice Herlihy; Yingjie Xue
Source: check_circle
Crossref

Peer review (1 review for 1 publication/grant)

Review activity for Journal of applied and computational topology. (1)