Jeannette M. Wing
Computer Science Department Head,
Carnegie Mellon University

　　Jeannette M. Wing 博士是计算机科学校长冠名教授，同时也是卡内基-梅隆大学计算机科学系的系主任。她于1979年获得MIT的电子工程和计算机科学的学士和硕士学位，并在1983年获得了计算机科学的博士学位。
　　Wing 教授的主要研究方向为并行分布式系统的规范和认证，和编程语言。她目前主要研究提升软件系统安全性技术的设计和评价方法。
　　Wing 教授编写或参与编写了11本书，并发表了85篇期刊、会议或其他形式的论文。她被各会议、大学或其他国际性的研究机构邀请作为主讲人或主要演讲超过180次。曾经或正在8份期刊中担任编辑。
　　Wing 教授在国家科学院计算机科学与通讯部门担任主席。她也是微软可信计算学术委员会成员、Intel公司匹兹堡研究中心顾问委员会成员、达特茅斯安全技术学会顾问委员会成员、爱达荷国家实验室和国土安全战略咨询委员会成员。她曾经是DARPA信息科学与技术（ISAT）委员会、国家科学基金科学顾问委员会的成员。她是Sloan 研究基金程序委员会成员。她曾就职于南加州大学计算机科学系。在卡耐基-梅隆大学，在成为系主任之前，她有9年的时间担任计算机科学系分管博士生的副系主任，在计算机科学学院担任了5年的分管教学事务的副院长。她曾经就职于Bell实验室、USC/信息技术学会、施乐Palo Alto研究中心。她在MIT度过了她1992年的带职休假访问，在微软研究院度过了2002~2003年的带职休假访问。她为数字器材公司、梅隆学院（卡内基-梅隆研究员）、系统开发公司和喷气推进实验室担任过顾问。她是AAAS、ACM、IEEE、Sigma Xi、Phi Beta Kappa、Tau Beta Pi和Eta Kappa Nu的成员。Wing教授是ACM和IEEE的特别会员。

可预见性软件

　　今天，我们所搭建的系统越来越复杂:在单纯的大小方面和功能方面；在时间方面，它取决于变化的频率，速度和混乱程度；在空间方面，它取决于组件的位置和服务器的分布；在平台方面，它取决于设备接口的多样性。构成系统的软件变得难以限制和约束（有些软件周期很短且难以捉摸）并且难以明确职责（相对于那些有保证的代码来说它们是不可靠的）。更进一步的，这些软件系统还将被集成起来提供一组面向用户的服务终端。软件将无处不在，并且和每个人密切相关。这些复杂的软件系统究竟会表现出什么样的行为特性，我们又是否可以评估它们呢？仅有传统的正确性和性能评估是不够的。google搜索返回的结果尽管不是精确的和完备的，但它们通常已经“足够好”了。但从另一方面来说，对搜索引擎而言的“足够好”对一个嵌入式医疗设备来说则还远远不够。在演讲中，我将描绘一种未来的系统软件，并详细介绍它的一个优秀的行为特性：可预见性。可预见性要求先搭建这个系统的模型，然后通过提问来缺定它会导致一个好的还是一个坏的结果。我将讨论一种度量软件可预见性的方法：轻量形式化法，并列举这种方法在各种领域的应用中新近取得的一些成功的例子，最后提出研究团体在实现软件可预见性时所需要克服的一些技术挑战。