Frances Spalding Awarded Microsoft Research Fellowship

January 16, 2006

Frances Spalding has been awarded a two year Microsoft Research Fellowship beginning in Fall 2006. Her research area is programming language design and verification and her recent work is on development of a high-level assertion language for specifying and automatically checking properties of data structures. David Walker is her adviser. The Microsoft Research Fellowship is a competitive award, this year given to 22 out of over 150 applicants nationally. An awards ceremony will be held in Redmond, Washington on March 2 & 3 to honor this year's recipients.