Zohar Manna

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa
Zohar Manna
Nascimento 7 de janeiro de 1939
Haifa
Morte 30 de agosto de 2018 (79 anos)
Nacionalidade Estadunidense
Prêmios Prêmio Friedrich L. Bauer (1992)
Orientador(es) Alan Perlis
Orientado(s) Adi Shamir
Campo(s) Ciência da computação

Zohar Manna (Haifa, 7 de janeiro de 193930 de agosto de 2018) foi um cientista da computação estadunidense.

Foi 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 ).

Ligações externas[editar | editar código-fonte]

Ícone de esboço Este artigo sobre um(a) cientista da computação é um esboço. Você pode ajudar a Wikipédia expandindo-o.