## Leslie Lamport 講 Paxos 與 TLA+

Leslie Lamport 是 2013 年的 Turing Award 得主，除了上面提到的事蹟外，LaTeX 也是他弄出來的東西，軟體名稱開頭的 La 就是他本人...

## 2015 年的 Turing Award 由 Whitfield Diffie 與 Martin E. Hellman 獲得

Diffie–Hellman key exchange 是全世界第一個 (1976 年) 在公開頻道上建立 shared secret 的演算法，直到現在都還廣泛的被使用，可以防禦被動式的監聽攻擊：

The Diffie–Hellman key exchange method allows two parties that have no prior knowledge of each other to jointly establish a shared secret key over an insecure channel.

a secure communication protocol is said to have forward secrecy if compromise of long-term keys does not compromise past session keys.

## 2014 年 Turing Award 得主：Michael Stonebraker

For fundamental contributions to the concepts and practices underlying modern database systems.

ACM 的頁面上列了不少成就，比較熟的是 PostgreSQL，他是 PostgreSQL 發展重要的關鍵人物：(出自維基百科「PostgreSQL」條目)

PostgreSQL evolved from the Ingres project at the University of California, Berkeley. In 1982 the leader of the Ingres team, Michael Stonebraker, left Berkeley to make a proprietary version of Ingres. He returned to Berkeley in 1985 and started a post-Ingres project to address the problems with contemporary database systems that had become increasingly clear during the early 1980s. The new project, POSTGRES, aimed to add the fewest features needed to completely support types. These features included the ability to define types and to fully describe relationships – something used widely before but maintained entirely by the user.

## Leslie Lamport 拿下 2013 年圖靈獎 (Turing Award)

For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.