Moshe Y. Vardi
Moshe Y. Vardi · Technologia i inżynieria
Vardi zapoczątkował stosowanie logiki matematycznej w informatyce, od teorii baz danych po automatyczną weryfikację sprzętu i oprogramowania.
1954, Haifa, Israel
Israel · United States (Houston, Rice University)
Vardi zapoczątkował stosowanie logiki matematycznej w informatyce, od teorii baz danych po automatyczną weryfikację sprzętu i oprogramowania. Urodzony w Hajfie z węgierskich rodziców ocalałych z Zagłady, został University Professor na Rice University i zdobył nagrody Gödla i Knutha. Jego metody służą do sprawdzania poprawności rzeczywistych systemów obliczeniowych.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Ta strona ukazuje się w siedmiu językach na podstawie źródła angielskiego. Tłumaczenia są sprawdzane, ale błąd może się prześlizgnąć. Jeśli zauważysz go na tej stronie — błędne słowo, zgubioną datę, zdanie mówiące coś, czego nie ma w angielskim — daj nam znać.
Vardi zapoczątkował stosowanie logiki matematycznej w informatyce, od teorii baz danych po automatyczną weryfikację sprzętu i oprogramowania.
Źródło: Jinfo.org — Jewish recipients of the Knuth & Gödel Prizes
Podobni twórcy
Noam Nisan
Micha Sharir
Noga Alon
Pierre Wolper
