Amir Pnueli

Urodzony w Izraelu Żyd, wychowany w moszawie Nahalal, Pnueli studiował najpierw matematykę w Technionie, zanim zwrócił się ku informatyce. W przełomowej pracy z 1977 roku wprowadził logikę temporalną — formalny język „zawsze” i „w końcu” — jako ścisły sposób opisywania i sprawdzania, jak programy współbieżne i reaktywne zachowują się w czasie. Praca ta dała początek weryfikacji formalnej i przyniosła mu w 1996 roku Nagrodę Turinga; jej znaczenie polega na tym, że pozwala inżynierom matematycznie dowieść, iż krytyczne oprogramowanie nie zawiedzie.

Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.

Źródło: Jinfo.org — Jewish recipients of the Turing Award