Michael Barnett has been with the Microsoft Corporation since July 1995. He first was a member of the Natural Language Processing Group in Microsoft Research, moving to the Foundations of Software Engineering group in the fall of 1999. He is now a member of the Programming Languages and Methods group. Before coming to Microsoft, Mike had been an assistant professor of Computer Science at the University of Idaho for three years. He received his PhD in Computer Science from the University of Texas at Austin in 1992. He is currently working on the Spec# Programming System.