Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming. In 1994 he was inducted as a Fellow of the Association for Computing Machinery. In 2016 he shared the Herbrand Award with Richard Waldinger for his ″pioneering research and pedagogical contributions (with Richard Waldinger) to automated reasoning, program synthesis, planning, and formal methods″.

Property Value
dbo:abstract
  • Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming. With Amir Pnueli, he co-authored an unfinished trilogy of textbooks on temporal logic and verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) and The Temporal Logic of Reactive and Concurrent Systems: Progress (unpublished; first three chapters posted at ). In 1994 he was inducted as a Fellow of the Association for Computing Machinery. In 2016 he shared the Herbrand Award with Richard Waldinger for his ″pioneering research and pedagogical contributions (with Richard Waldinger) to automated reasoning, program synthesis, planning, and formal methods″. (en)
  • Zohar Manna (* 17. Januar 1939 in Haifa) ist ein israelisch-US-amerikanischer Informatiker. Er ist Professor an der Stanford University. Manna studierte am Technion in Haifa mit dem Bachelor Abschluss 1961 und dem Master Abschluss 1965. Er wurde 1968 bei Robert W. Floyd (und Alan Perlis) an der Carnegie Mellon University promoviert (Termination of algorithms). Er ist seit 1968 Professor in Stanford und außerdem seit 1972 Professor am Weizmann Institut. Er befasst 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 ist Fellow der Association for Computing Machinery. 1968 war er Guggenheim Fellow. (de)
  • Zohar Manna, né le 17 janvier 1939 à Haïfa, est un informaticien israélo-américain. Il est professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique. (fr)
  • Zohar Manna (1939) é um cientista da computação estadunidense. É professor da Universidade Stanford e autor de The Mathematical Theory of Computation (McGraw Hill, 1974; reimpressão Dover, 2003), um dos primeiros livros a conter cobertura extensiva dos conceitos matemáticos da programação de computadores. Com Amir Pnueli foi coautor de uma trilogia inacabada de livros texto sobre lógica temporal e verificação de sistemas reativos: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) e The Temporal Logic of Reactive and Concurrent Systems: Progress (não publicado; os três primeiros capítulos estão disponíveis em Manna/Pnueli: The Temporal Verification of Reactive Systems: Progress ). (pt)
dbo:birthDate
  • 1939-1-17
dbo:birthPlace
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 699529 (xsd:integer)
dbo:wikiPageRevisionID
  • 740883453 (xsd:integer)
dct:description
  • American computer scientist (en)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • Zohar Manna, né le 17 janvier 1939 à Haïfa, est un informaticien israélo-américain. Il est professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique. (fr)
  • Zohar Manna (born 1939) is a professor of computer science at Stanford University. He is the author of The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003), one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming. In 1994 he was inducted as a Fellow of the Association for Computing Machinery. In 2016 he shared the Herbrand Award with Richard Waldinger for his ″pioneering research and pedagogical contributions (with Richard Waldinger) to automated reasoning, program synthesis, planning, and formal methods″. (en)
  • Zohar Manna (* 17. Januar 1939 in Haifa) ist ein israelisch-US-amerikanischer Informatiker. Er ist Professor an der Stanford University. Manna studierte am Technion in Haifa mit dem Bachelor Abschluss 1961 und dem Master Abschluss 1965. Er wurde 1968 bei Robert W. Floyd (und Alan Perlis) an der Carnegie Mellon University promoviert (Termination of algorithms). Er ist seit 1968 Professor in Stanford und außerdem seit 1972 Professor am Weizmann Institut. Er befasst sich unter anderem mit der Logik von Programmen, temporaler Logik und deren Anwendung in der Verifikation reaktiver Systeme. (de)
  • Zohar Manna (1939) é um cientista da computação estadunidense. É professor da Universidade Stanford e autor de The Mathematical Theory of Computation (McGraw Hill, 1974; reimpressão Dover, 2003), um dos primeiros livros a conter cobertura extensiva dos conceitos matemáticos da programação de computadores. (pt)
rdfs:label
  • Zohar Manna (en)
  • Zohar Manna (de)
  • Zohar Manna (fr)
  • Zohar Manna (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:gender
  • male (en)
foaf:isPrimaryTopicOf
foaf:name
  • Zohar Manna (en)
is dbo:doctoralAdvisor of
is dbo:doctoralStudent of
is dbo:wikiPageDisambiguates of
is foaf:primaryTopic of