Barbara H Liskov has won the prestigious prize called The Turing Award
which is sometimes refered as the "Nobel prize in Computer Science"
She is a professor at the MIT and has published 124 papers.
http://www.pmg.csail.mit.edu/~liskov/
She did significant contributions to practical and theoretical foundations
of programming language and system design, especially related to data abstraction, fault tolerance, and distributed computing.
http://awards.acm.org/citation.cfm?id=1108679&srt=all&aw=140&ao=AMTURING
Luc Rolland