Zohar Manna

Zohar Manna (1939 – 30 ut 2018)ko ganndo ordinateer Israayiilnaajo-Ameriknaajo, wonnoo ko porfeseer ganndal ordinateer to duɗal jaaɓi haaɗtirde Stanford.

O yahi to Carnegie Mellon University e o heɓii doktoor makko dow falsafaa (PhD) nder ilmu komputa e hitaande 1968.

Manna wartii Isra'iila nder 1972 bana jannginoowo limle naftorɗe e Weizmann Institute of Science. O laati mo profesa haa Stanford nder 1978. O ɗon haa e Weizmann Institute of Science haa hitaande 1995. O tokki huwugo bana jannginoowo Stanford haa o jeyi nder hitaande 2010.

 Deftere 
O winndi defte joweeɗiɗo. The Mathematical Theory of Computation (McGraw Hill, 1974; reprint Dover, 2003) woni go'o nder defte arandeeji ngam hokkude jaɓɓorgo ɗuuɗal dow no'o anndira dow limngal dow ɗemngal ordinatiral.

Nder Amir Pnueli, o wurtini ko'e maako ko'e tati defte dow logic time e verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal logic of Reactive e Concurrent systems: Safety (Sprenger-Verlag , 1995) e The Temporal logique of Reactive & Concurrent System: Progress (unpublished; cuttingol tati arandeeji ɗi ɗi ɗi ɗi ɓe wurtini ha http://theory.stanford.edu/~zm/tvors3.html).

E Aaron R. Bradley o windi e deftere, The Calculus of Computation, je ɗon huwti bana habaru dow daliila arandeeji e tabbitinol ngol. 

 Jaɓɓorgo Kewuuji 
Nder 1994, o wondi go'o nder Association for Computing Machinery. Nder hitaande 2016, o hokki sariya Herbrand bee Richard Waldinger ngam ""kuudi maako e daranaaku maako nder anndal e anndal (go Richard Waldinger) to hakkilantaaku masin, darnde program, darnde, e laabi formal"."" O heɓii jaaynde Bauer diga jaaynde Technique de Munich, e doktoor teddungal diga École Normale Supérieure de Cachan.

 Koolol 
O ɗon jaɓɓa jaɓɓaaki jaɓɓaade jaɓɓaani dow 30 jaɓɓaɓe jaɓɓaande dow doktoor, hawti e Nachum Dershowitz, Adi Shamir, Thomas Henzinger, Pierre Wolper, e Martín Abadi.

 Ndaare kadi 

 Logik wakkatiire
 Sifaaji ɗi ɗon walli
 Fedde (kinoyaaku ordinaturu) 

 Firooji 

Category:Pages with unreviewed translations