The ACM announced the winner of the Turing Award, and it went to Barbara Liskov. Now, for those of you who don't know, the Turing Award is the equivalent of the Nobel Prize in Computer Science. Because of my work, I happen to be very familiar with Liskov's work, specially her work on Behavioral Sub-typing. Her book Abstraction and Specification in Program Development is a seminal work in the area of specification of object oriented programs, and specification refinement.
Congratulations to Dr. Barbara Liskiv for her well deserved recognition.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment