News

Select Year: [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998]

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 advisor. 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.