Microsoft Research Blog

verifying software architecture

  1. Cardelli Receives 2007 Senior Dahl-Nygaard Prize 

    August 7, 2007

    By Rob Knies, Managing Editor, Microsoft Research Luca Cardelli, a principal researcher at Microsoft Research Cambridge, has been named winner of the 2007 Senior Dahl-Nygaard Prize, presented annually to a senior researcher with outstanding career contributions. Cardelli, who heads the Programming Principles and Tools team…