Zohar Manna
| Zohar Manna | |
|---|---|
| Ciência da computação | |
 |
|
| Nacionalidade |  Estadunidense |
| Nascimento | 1939 (74 anos) |
| Actividade | |
| 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]
- Página pessoal (em inglês)
