Email Gateway (Aug 22 2022 at 18:17): Email Gateway (Aug 22 2022 at 18:17):From: Nachum Dershowitz <nachumd@post.tau.ac.il>
Stanford University Professor Emeritus Zohar Manna passed away on August 30, 2018 at his home in Netanya, Israel, after several months of illness. He was 79. Manna was a fellow of the Association for Computing Machinery and was a pioneer in the use of formal methods for automated reasoning, verification, and synthesis, on which subjects he authored or co-authored nine books. He served on the faculties of the Weizmann Institute and Stanford University for many years and was recipient of Guggenheim and Fullbright fellowships and of the Herbrand Award for distinguished contributions to automated reasoning. He is survived by his wife of half a century, Nitza, children, Irit, Hagit, Yonit, and Amit, and five grandchildren, and by his 29 doctoral students. He will be sorely missed by all who knew him.
Last updated: Apr 25 2024 at 12:23 UTC