2008 Turing Award
今年 Turing Award 發佈之後,ycma 特別來信告知,因為他知道我對 programming language 特別有興趣。今年繼2006年 Frances E. Allen 以第一位女性得到 Turing Award 之後,
2008 的 Turing Award 得主為 Barbara Liskov !!
特將 ycma 轉寄的信節錄於下
ACM has named Barbara Liskov the recipient of the 2008 ACM A.M. Turing Award for her contributions to practical and theoretical foundations of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing. (yen3 註: 以查 wiki 得到的資料,這邊的特別指定的領域,幾乎都是首先開創。)
Liskov revolutionized the programming field with groundbreaking research that underpins virtually every modern computer application for both consumers and businesses. Her achievements in programming language design have made software more reliable and easier to maintain. They are now the basis of every important programming language since 1975, including Ada, C++, Java, and C#. (yen3 註: 這邊提到的語言我只有 Ada 不會耶,不過這不重要啦 XD)
Liskov heads the Programming Methodology Group in the Computer Science and Artificial Intelligence Laboratory at MIT, where she has conducted research and has been a professor since 1972. (yen3 註: 讀到這邊抽了一口涼氣,讓我想到現在中研院院士,領導自由軟體鑄造場,但是我忘了名字了...Orz)
那麼我又節錄一下,Liskov 女士在 wiki 上的資料
Liskov has led many significant projects, including the design and implementation of CLU, the first programming language to support data abstraction; Argus, the first high-level language to support implementation of distributed programs; and Thor, an object-oriented database system. With Jeannette Wing, she developed a particular definition of subtyping, commonly known as the Liskov substitution principle. She leads the Programming Methodology Group at MIT, with a current research focus in Byzantine Fault Tolerance and distributed computing. (yen3 註: 真的只能對 Liskov 女士以 pioneer 來形容,到現在仍持續研究,真的很很讓人佩服。)
---
感謝老師提供此訊息,不然我可能還不知道 XD
Josh Ko 對我說 Liskov 女士著名的 Liskov Substitution Principle: 這邊有簡介