Przejdź do treści

Centrum Kształcenia Zawodowego i Ustawicznego w Mrągowie

Robin Milner

środa,

Robin Milner

13 stycznia 1934 roku urodził się brytyjski informatyk Robin Milner. W 1991 roku został on uhonorowany nagrodą Turinga.

Robin Milner po ukończeniu studiów początkowo podjął pracę jako nauczyciel, później poświęcił się karierze akademickiej. Pracował na wielu znanych brytyjskich uczelniach (m.in. na Uniwersytecie Cambridge jako szef Laboratorium Komputerowego).

Był laureatem wielu nagród i wyróżnień, w 1991 roku otrzymał nagrodę Turinga za swoje trzy osiągnięcia:

  • LCT (Logic for Computable Functions), mechanizacja „Logiki funkcji obliczeniowych” Scotta, prawdopodobnie pierwszym opartym na teorii, a zarazem praktycznym narzędziem dla automatycznego dowodzenia twierdzeń;
  • ML (Meta Language) pierwszy język uwzględniający wielokształtny typ wnioskowania, razem z mechanizmem typowania dynamicznego wyjątków;
  • CCS (Calculus of communicating systems), ogólna teoria współbieżności. Dodatkowo sformułował i mocno zaawansował pełną abstrakcję, naukę o związkach zachodzących pomiędzy semantyką operacyjną a znaczeniową.Robin Milner zmarł w 2010 roku.

Rok temu na naszej stronie…

Artykuł: Jerzy Różycki

Jerzy Różycki

Artykuł: Bitwa pod Ujściem

Bitwa pod Ujściem

Artykuł: Henryk Jordan – pionier wychowania fizycznego

Henryk Jordan – pionier wychowania fizycznego

Artykuł: Historia letnich igrzysk olimpijskich

Historia letnich igrzysk olimpijskich

Artykuł: Międzynarodowy Dzień Szachów

Międzynarodowy Dzień Szachów

Artykuł: Bitwy potopu szwedzkiego

Bitwy potopu szwedzkiego

Artykuł: Henryk Zygalski

Henryk Zygalski

Artykuł: Historia polskiej piłki nożnej

Historia polskiej piłki nożnej

Nasze technikum

Technik informatyk

Szkoły dla dorosłych

Nasza szkoła

Pełna oferta edukacyjna

Oferta szkoły