Gordon Plotkin
Gordon Plotkin · Technologia i inżynieria
Gordon Plotkin to brytyjski informatyk teoretyczny z Uniwersytetu w Edynburgu, którego strukturalna semantyka operacyjna dała ścisły i szeroko stosowany sposób definiowania znaczenia języków programowania; wniósł też podstawowe wkłady w teorię dziedzin, teorię typów i logiki obliczeń.
1946, Glasgow, Scotland
United Kingdom
Gordon Plotkin to brytyjski informatyk teoretyczny z Uniwersytetu w Edynburgu, którego strukturalna semantyka operacyjna dała ścisły i szeroko stosowany sposób definiowania znaczenia języków programowania; wniósł też podstawowe wkłady w teorię dziedzin, teorię typów i logiki obliczeń. Uchodzi za jedną z najbardziej wpływowych postaci teorii języków programowania. Ma żydowskie pochodzenie i figuruje w zestawieniach żydowskich informatyków.
Sprawdź i pogłęb temat dzięki tym zewnętrznym odniesieniom.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
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ć.
Gordon Plotkin to brytyjski informatyk teoretyczny z Uniwersytetu w Edynburgu, którego strukturalna semantyka operacyjna dała ścisły i szeroko stosowany sposób definiowania znaczenia języków programowania; wniósł też podstawowe wkłady w teorię dziedzin, teorię typów i logiki obliczeń.
Źródło: Jinfo.org — JEWISH COMPUTER & INFORMATION SCIENTISTS
