Zohar Manna

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Zohar Manna
Ciência da computação
Nacionalidade Estados Unidos Estadunidense
Nascimento 1939 (75 anos)
Atividade
Campo(s) Ciência da computação
Orientador(es) Alan Perlis
Orientado(s) Adi Shamir
Prêmio(s) Prêmio Friedrich L. Bauer (1992)

Zohar Manna (1939) é um cientista da computação estadunidense.

É professor da Universidade Stanford. É 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.