威廉玛丽学院的一位校友最近被评为2007年盖茨剑桥学者。埃里克·科斯基宁（01届）目前是布朗大学的一名研究生，是威廉和玛丽学院的两名毕业生之一。

“听到埃里克的消息我很高兴。我想不出比他更有资格的人了，”菲尔·卡恩斯说，他是威廉玛丽大学计算机科学系的主任，也是科斯基宁的荣誉论文导师。“他一直给我的印象是，他是一名专注的计算机科学家，但也是一个全面发展的人。这是很重要的，因为强度和全面往往是相互排斥的。他是那些认为在W&M当教员拿薪水就像盗窃的学生之一。”

盖茨剑桥学者项目成立于2001年，旨在为来自英国以外的优秀研究生提供在剑桥学习的机会。根据该网站的介绍，入选学者的标准是他们的智力、领导能力以及利用自己的知识为社区提供服务、运用自己的才能和知识改善他人生活，从而为世界各地的社会做出贡献的愿望。

科斯基宁是新泽西州艾伦代尔人，毕业于威廉玛丽学院，主修计算机科学和物理双学位。他说，他对威廉和玛丽只有美好的回忆，他在那里的一个小型流行/摇滚乐队演出，认识了许多最亲密的朋友，包括他的妻子。

从威廉玛丽大学毕业后，科斯基宁搬到了西雅图，在亚马逊公司的一个部门互联网电影数据库（IMDb）工作。

“作为一个电影迷和IMDb的长期粉丝，我非常享受这次经历，”他说。“除了面对大规模的软件工程挑战，我还尝试了电影行业，与电影评论家一起工作，偶尔参加一次首映。”

2005年，他和女友在雷恩教堂（Wren Chapel）结婚，然后搬到罗德岛，以便就读布朗大学（Brown University）。去年夏天，作为剑桥微软研究院的实习生，科斯基宁对形式验证产生了兴趣，这种验证旨在消除软件缺陷。

作为盖茨剑桥项目的一部分，科斯基宁将致力于开发自动验证计算机程序的新技术。这意味着他将努力确保系统正常工作，以防止可能造成人命损失的系统故障。

“这个研究领域的性质似乎很适合盖茨剑桥奖学金。该奖项的获得者有望利用他们的教育来改善世界各地人民的生活。”“随着计算机系统变得如此普及，我相信这个方向的研究是非常重要的。”

科斯基宁希望他在剑桥计算机佳博体育的经历能帮助他在逻辑和语义学方面打下坚实的基础。完成课程后，他计划继续在学术界工作，“试图推动形式验证领域的发展，并试图激励新一代的学生从事这一领域的研究，”他说。“此外，我希望与业界建立联系，这样我就可以继续倡导在实际系统中使用正式验证。”

科斯基宁将他的成功归功于他的本科教育和三位威廉与玛丽学院的教授：卡恩斯；大卫·阿姆斯特朗，物理学教授；以及计算机科学名誉教授Richard Prosl。

他说：“我确信，没有他们的帮助，我不会有今天的成就。”