Mike Barnett

Mike Barnett has been at Microsoft Research since 1995. He is happiest when working on program specification technology. Before working on Code Contracts for .NET, he was part of the Spec# project.