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吸引了最好的学生，并激发每一个人展示出最好的一面。”
原文链接:
https://news.stanford.edu/2018/09/06/computer-science-pioneer-zohar-manna-dies/
来源：斯坦福
作者：Tom Abate
智能观 编译
—完—
扩展阅读：
Yoshua Bengio：孤军奋战的AI学者和他的乌托邦情怀
不断求证与探索，深度学习之父让神经网络更臻完美
获得教育界“奥斯卡”奖的老师：我眼中的教师该做这些
想知道AI加教育领域有哪些最新研究成果？
想要AI领域更多的干货？
想了解更多专家的“智能观”？
请前往：www.智能观.com。
想交流沟通，请加负责人微信：znglmym
声明：
编译文章旨在帮助读者了解行业新思想、新观点及新动态，为原作者观点，不代表智能观观点。
网友评论