Kein freies Foto
Zohar Manna
Vereinigte Staaten · Akademiker · Lebte 1939 bis 2018 · im Alter von 79
Zohar Manna wird in 13 Sprachen etwa 9 Mal am Tag gelesen.
Ein typischer Tag, 30 Tage bis 19. Juni 2026
Der mittlere Tag der gezählten Tage, damit eine Nachrichtenwoche ihn nicht verschieben kann. Die Linie darunter zeigt die letzten 60 Tage, ein Punkt pro Tag.
Stimmt etwas nicht?Zohar Manna (* 17. Januar 1939 in Haifa; † 30. August 2018 in Netanja) war ein israelisch-US-amerikanischer Informatiker. Er war Professor an der Stanford University. Manna studierte am Technion in Haifa mit dem Bachelorabschluss 1961 und dem Masterabschluss 1965.
Text aus Wikipedia, CC BY-SA 4.0
Stationen eines Lebens
Auszeichnungen
Zur Person
Zohar Manna (* 17. Januar 1939 in Haifa; † 30. August 2018 in Netanja) war ein israelisch-US-amerikanischer Informatiker. Er war Professor an der Stanford University. Manna studierte am Technion in Haifa mit dem Bachelorabschluss 1961 und dem Masterabschluss 1965. Er wurde 1968 bei Robert W. Floyd (und Alan Perlis) an der Carnegie Mellon University promoviert (Termination of algorithms). Er war seit 1968 Professor in Stanford und außerdem seit 1972 Professor am Weizmann-Institut. Er befasste sich unter anderem mit der Logik von Programmen, temporaler Logik und deren Anwendung in der Verifikation reaktiver Systeme. 1992 erhielt er den ersten Friedrich L. Bauer-Preis, 2016 mit Richard Waldinger den Herbrand Award. Er war Fellow der Association for Computing Machinery. 1968 war er Guggenheim Fellow.
Text aus Wikipedia, CC BY-SA 4.0
Gemeinsamkeiten mit Zohar
Woody BledsoeBeide ausgezeichnet mit Herbrand Award
John Alan RobinsonBeide ausgezeichnet mit Herbrand Award
Gérard HuetBeide ausgezeichnet mit Herbrand Award
Peter B. AndrewsBeide ausgezeichnet mit Herbrand Award
Wu WenjunBeide ausgezeichnet mit Herbrand Award
Wolfgang BibelBeide ausgezeichnet mit Herbrand AwardFame.am misst Signale öffentlicher Sichtbarkeit. Es misst nicht den Wert eines Menschen, Talent, Moral oder Glaubwürdigkeit.