演讲者：Lenore＆manuel Blum博士(1999年图灵奖获得者)
Lenore：
非常感谢，我不知道他在说了一些，大家都笑作一团，我知道他介绍了我的家庭，包括我的孩子，但是我还没有曾孙辈的孩子，我要感谢组织者，请我到中国来，尤其是能够来 到北京，能够见到各位。我想告诉各位，在79年第一次到中国来的时候，我当时想，也许那个时候你们还年纪非常小，但是我今天看到你们，可能那个时候还是孩子，甚至还没有出生，所以1979年是很有意思的一年，当时大学重新开始招生了，好像是在79年，之后我们在97年又来到了北京，那一年也非常有意思，因为正好是在97年，香港从英国移交到了中国手中，接着是2002年，我想也是很有意思的一年。
所以，我们今天话题就是高可信度的计算技术，以及包括硬件软件的透明度的问题。计算机的科学历史表明，要想防止硬件软件或者其它方面出现问题，最好实现的方式就是保持这个体系的公开、透明度。我们在这里要表示这尤其涉及到有关隐私安全和加密这三个问题。我们都是要进一步地促进透明度的提高，大家也知道，姚博士前面也介绍了，有关公共密钥的加密就很好地显示了过去我们在推进公开和透明度技术方面所取得的成功，我们在今天我想说的就是，给大家再进一步介绍一下公开而不是封闭的，私有技术的发展所取得的一些成就的范例，介绍一下在卡奈基梅隆大学所取得的进展，包括在北京卡奈基大学也有一些合作。我想向大家介绍一下阿拉丁中心。实际上阿拉丁听上去没有什么技术性，实际上技术性很强，主要是指有关的自制应和分散的一体化的系统，它是美国自然基金所赞助的一个项目，我们这个中心主要是促进技术的转让，当然我们也进行数学理论研究，通常这方面会有一些实质，我们要出版一些文章，要做一些工作，也许在五年二十年以后才能运用有关的技术，我们希望加快这一进程，使得技术更快地发展，现实中的问题如何应该研究的理论。我们都是理论的研究者，所以我们要在很多不同的领域进行研究，包括生物学的领域，咱们看看二十一世纪所要研究的问题，包括机器、学习、计算机的安全，这只是举一些例子，包括数据库、物理等。包括网络检索等等，我们研究设计所有这些领域，这是我们的网站，也就是通过查WWW.阿拉丁的网址就可以查我们的情况，这是我们的几个主任之一。我们希望能有这样一个所谓的仓储的堆建，我不知道在中国是不是有这样的体系，你们是不是有一些各种各样的后勤资源，有各种各样的协调人来联系，我们也希望有这样一个资源库，这样的话我们就可以为整个社区提供资源，所以也应该是开放和透明度的体系。那么现在仅仅是在测试的阶段，它还是非常原形的阶段。
今天我想向大家介绍有关透明度方面三个案例，也是从一些项目当中提取出来的。我想把他们称为针对问题的一些实验。我们把它叫做Probes，有关蘑菇的一个研究。你们可以看这两个人，Guy Blelloch和Gary Miller，他们都是这个项目当中精灵，主要为血液行动建模。我们是在计算机科学以外引入的一个问题，首先就是一个有关的机械设施设备，主要是用来检查人体的身体健康的，大学医疗中心在运用这个设备，像一个小的泵，来控制血液的流量，大家可以看到这个小的图片，它很小，而且很可靠，能耗很低，比其它以前的设备具有更少的伤害性。当然有一个挑战，设计当中碰到的挑战就是我们希望能够克服以前的趋势，就是有可能损害同血细胞，这是一个技术问题，计算科学和它有什么关系呢？我们来看看，第二个问题也是和第一个问题有点类似，也是跟血液病有关的，一些流动不足或者微循环出现问题，比如说糖尿病、癌症、贫血等等。我们有的时候发现血液流动不足，如果我们能帮助解决这个问题，也可以更好。
作为计算机科学家，我们就要能够建立有关的软件和公式，能够来精密测量这方面动态的变化，这样我们就可以对血液流量进行建模，当然建模在这方面很困难，因为所有的这些细胞还有流量都是在持续不断进行的。我们要不断地研究血流的情况。所以我们大体的方向就是要了解如何进行测量，并且模拟流量，了解背后的数学和物理机制，建立各种等式，如何在计算机上找到一些等同的因子，所以就是要创造很好计算数学的工具和整合的工具，每一次在更新数据的时候，在计算机上也能实现这一点，这就是我们所说的“M”系统这一部分是如何完成的。这是我们通常使用的一种办法，当然并不是非常常见的办法。我们必须要建立相关的数学关系，来满足这方面的需要，这也是Guy Blelloch一直研究的项目，他同时也在，研究其它的一些重要的项目，而且这两个方法之间是有很大相关性的，他在研究这两个方面的问题，只是向大家介绍一下透明度很高课题的研究。我们还有很多不同的人在项目上的共同合作，你在这里可以看到Gary Miller。我们的分享成果，分享编码、数据库，我们希望我们社区有一些数据库和共同的界面，而且能把研究成果的信息传达到社区以外。这是比较传统的例子。