Zohar Manna

Zohar Manna Biografie

Naștere	17 ianuarie 1939 Haifa
Moarte	30 august 2018(79 de ani) Netanya
Naționalități	Israelian american
Instruire	Universitatea Technion Carnegie-Mellon ( doctor Philosophiæ ) (până la1968)
Activități	Profesor universitar , informatician , inginer

Alte informații

Lucrat pentru	Universitatea Stanford (din1968) , Institutul Weizmann (din1972)
Camp	Informatică
Maestru	Alan perlis
Directorii tezei	Alan Perlis , Robert Floyd
Premii

Zohar Manna , născut pe17 ianuarie 1939în Haifa și a murit pe30 august 2018în Netanya , Israel , este un israelian - american om de știință de calculator .

A fost profesor la Universitatea Stanford . Este renumit ca autor al The Mathematical Theory of Computation , care este una dintre primele lucrări de dezvoltare a conceptelor matematice care stau la baza programării computerizate.

Biografie

Zohar Manna studiază la Technion din Haifa. A obținut o diplomă de licență în 1961 și un master în 1965. A obținut un doctorat în 1968 de la Robert W. Floyd și Alan Perlis , la Universitatea Carnegie-Mellon , cu o teză intitulată: Încetarea algoritmilor . Din 1968 a fost profesor la Stanford și din 1972 a fost și profesor la Institutul Weizmann din Rehovot , Israel .

Cercetările sale se concentrează în special pe logica programului , logica temporală și aplicațiile sale la verificarea sistemelor reactive. A regizat numeroase teze. Printre elevii săi sunt Ashok K. Chandra , Jean Vuillemin, Shmuel Katz, Adi Shamir , Nachum Dershowitz, Pierre Wolper , Martín Abadi , Thomas Henzinger , Nikolaj Bjorner, Henny Sipma, Bernd Finkbeiner, Sriram Sankaranarayanan, Aaron Bradley.

Premii și recunoaștere

Zohar Manna este membru al Asociației pentru Mașini de Calcul din 1994.
El a primit o bursă Guggenheim în 1968.
În 1992, a fost primul care a primit premiul Friedrich L. Bauer .

Lucrări

Cele două cărți cu Amir Pnueli ( Manna și Pnueli 1992 ) și ( Manna și Pnueli 1995 ) fac parte dintr-o trilogie al cărei al treilea volum, cu titlul Logica temporală a sistemelor reactive și concurente: progresul , nu a fost finalizat. Primele trei capitole ale acestor volume pot fi citite online.

(ro) Aaron R. Bradley și Zohar Manna, Calculul calculului: proceduri de decizie cu cereri de verificare , Berlin, Springer,2007, XV + 366 p. ( ISBN 978-3-540-74112-1 , DOI 10.1007 / 978-3-540-74113-8 )
(ro) Zohar Manna, Teoria matematică a calculului , Dover,2003, 464 p. ( ISBN 978-0486432380 ): Reeditare a: Teoria matematică a calculului , McGraw Hill,1974
(ro) Zohar Manna și Richard J. Waldinger, Fundamentele deductive ale programării computerizate , Addison-Wesley,1993, XIV + 717 p. ( ISBN 978-0-201-54886-0 )(O versiune cu un volum a Bazei logice pentru programarea computerului
(ro) Zohar Manna, Richard J. Waldinger și Johar Manna, Baza logică pentru programarea computerizată. Volumul 1: raționament deductiv , Addison-Wesley,1985( ISBN 0-201-18260-2 )
(ro) Zohar Manna și Richard J. Waldinger, Baza logică pentru programarea computerizată. Volumul 2: sisteme deductive , Addison-Wesley,1990( ISBN 978-0201182613 )
(ro) Zohar Manna și Amir Pnueli, Logica temporală a sistemelor reactive și concurente: specificații , Springer,1992, XIV + 427 p. ( ISBN 978-3-540-97664-6 )
(ro) Zohar Manna și Amir Pnueli, Verificarea temporală a sistemelor reactive: siguranță , Springer,1995, XV + 512 p. ( ISBN 978-0-387-94459-3 )

Note și referințe

Date de la American Men and Women of Science , Thomson Gale 2004.
(în) „ Zohar Manna, pionier în domeniul informaticii din Stanford, moare la 79 de ani ” , la Stanford University News ,6 septembrie 2018(accesat la 7 septembrie 2018 )
(ro) „ Zohar Manna “ , pe site - ul genealogia matematicienilor
(în) Descendenții doctorali ai Zohar Manna de la Universitatea Stanford.
(în) Manna / Pnueli: Verificarea temporală a sistemelor reactive: progres .

linkuri externe

Înregistrări de autoritate :
Resurse de cercetare :
- (ro) Bibliografie digitală și proiect de bibliotecă
- (ro) Proiectul Genealogia Matematicii
- (en + ja + zh-Hans + zh-Hant + ru) Scopus
(ro) Pagina personală de pe site-ul Universității Stanford