Zohar Manna

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Zohar Manna
Nascimento 1939 (78 anos)
Nacionalidade Estados Unidos 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 (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 ).

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.