The ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) has awarded its 2007 Knuth Prize to Nancy Lynch of the Massachusetts Institute of Technology (MIT) for her influential contributions to the theory of distributed systems. Further information on the award is available here. Nancy Lynch is the first woman to receive this award since its inception in 1996.
The award of the Knuth Prize to Nancy is a great advertisement for the areas of distributed computing, and modelling, verification and validation of computing systems. Congratulations to Nancy! I look forward to seeing more awards to outstanding women in computer science.