Robert Kurshan
Robert Kurshan · Technologia i inżynieria
Kurshan, amerykański informatyk wymieniany wśród żydowskich postaci informatyki, przeniósł sprawdzanie modeli oparte na teorii automatów z teorii do przemysłowej weryfikacji sprzętu.
2005
United States
Kurshan, amerykański informatyk wymieniany wśród żydowskich postaci informatyki, przeniósł sprawdzanie modeli oparte na teorii automatów z teorii do przemysłowej weryfikacji sprzętu. W Bell Labs zbudował narzędzia pozwalające inżynierom formalnie dowodzić poprawności złożonych projektów układów. W 2005 roku podzielił Nagrodę Kanellakisa za uczynienie weryfikacji formalnej praktyczną.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — Jewish recipients of the Kanellakis Award
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ć.
Kurshan, amerykański informatyk wymieniany wśród żydowskich postaci informatyki, przeniósł sprawdzanie modeli oparte na teorii automatów z teorii do przemysłowej weryfikacji sprzętu.
Źródło: Jinfo.org — Jewish recipients of the Kanellakis Award
Podobni twórcy
Amos Fiat
Andrei Broder
Anna Karlin
