斯坦福计算机科学与技术的教授,计算机科学先驱，斯坦福教授Zohar Manna去世

Zohar Manna是斯坦福大学计算机科学名誉教授，也是一位计算机科学先驱，于8月30日在以色列内坦亚的家中去世，享年79岁。

Zohar Manna(1939-2018)

在近50年的职业生涯中，Manna开创了两个领域，这两个领域曾处于计算理论的边缘，但如今却成为人工智能的基础，并保证了复杂软件的可靠性。

程序合成

其中一个领域是程序合成，有时被认为是自动推理的一个重要方面。这是一种计算方法，在这种方法中，科学家设计软件，按照严格的逻辑规则编程，以提供正确结果的数学确定性。NASA使用程序合成生成软件，用于分析“卡西尼号”拍摄的土星照片。

斯坦福国际研究院SRI International的人工智能中心的首席科学家、Manna在程序合成方面的主要合作者Richard Waldinger说：“ Zohar是一位深刻的思想家，为今天广泛使用的工具奠定了基础。”

软件验证

Manna读博期间，与已故计算机科学家Amir Pnueli合作，开发了软件验证的形式化方法。这种基于数学的方法与大多数软件编写、测试和投入使用的典型方法形成了鲜明的对比，新的方法要求纠正意料之外的错误。在形式验证下，软件在发布前要经过逻辑和数学分析。目标是从数学层面证明代码在任何情况下都能完美运行。

Amir Pnueli

Thomas Henzinger曾是Manna的博士生，现为奥地利科学技术学院院长。他说，为了确保复杂的现代应用程序的安全，形式验证变得越来越重要。现代应用程序涉及许多不同子程序和硬件例程的“并发交互”，这些同时发生的交互，使用传统方法已经无法充分测试。

Henzinger解释说：“如果你打开汽车上的自动窗户，车载音乐可能会变得更响。”他列举了一个无害的例子，说明在复杂的应用程序中，如自动驾驶汽车或空中交通控制系统，可能会出现意想不到的交互。

多产的作家，好老师

Manna在以色列理工学院(Technion)获得本科和硕士学位。在以色列国防军担任科学程序员两年后，前往卡内基梅隆大学，并获得计算机科学博士学位。那一年，他也开始了斯坦福的助教工作。在那里，除本职工作外，他还与人工智能先驱John McCarthy合作。

在没有PPT的时代，学者们只能用手势和黑板来说明自己的观点，Manna作为一名吸引人的、精力充沛的老师而闻名。“朋友戏称他为美国西部最快的粉笔。” Waldinger说。

Manna一生撰写或合著了9本书和125篇以上的学术论文。培训了30名博士生，其中许多人在美国、欧洲和以色列获得了顶级学术职位。

Nachum Dershowitz是Manna早期带的博士生，他说： “我们每个人都记得他的忠告和生活中一些趣事。”

斯坦福大学的同事回忆起Manna对学生的热爱，对同龄人的喜爱以及他可爱的幽默感。工程学院荣誉退休教授David Dill说：“ Zohar吸引了最好的学生，并激发每一个人展示出最好的一面。”

来源：斯坦福作者：Tom Abate智能观 编译

—完—

扩展阅读：

Yoshua Bengio：孤军奋战的AI学者和他的乌托邦情怀

不断求证与探索，深度学习之父让神经网络更臻完美

获得教育界“奥斯卡”奖的老师：我眼中的教师该做这些

声明：编译文章旨在帮助读者了解行业新思想、新观点及新动态，为原作者观点，不代表智能观观点。

举报/反馈

本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！