Peter J. Denning - Peter J. Denning

Piotr Denning
(autor Louis Fabian Bachrach)
Urodzić się	Peter James Denning ( 1942-01-06 )6 stycznia 1942 (wiek 79) Nowy Jork , Stany Zjednoczone
Obywatelstwo	USA
Alma Mater	MIT (doktorat 1968) Manhattan College (BEE 1964)
Znany z	Zbiór roboczy pamięci wirtualnej Zasada lokalności Uderzenie Analiza operacyjna Program nauczania Obliczenia Świetne zasady informatyki
Małżonkowie	Dorothy E. Denning
Nagrody	Nagroda SIGCSE za dożywotnią służbę edukacji informatycznej (2010) Nagroda SIGCSE za wybitny wkład w edukację informatyczną (1999)
Kariera naukowa
Pola	Informatyk
Instytucje	Uniwersytet Princeton Purdue University NASA-Ames Research Center George Mason University Naval Postgraduate School
Praca dyplomowa	Alokacja zasobów w wieloprocesowych systemach komputerowych  (1968)
Doradca doktorski	Jack B. Dennis
Strona internetowa	denninginstitute .com / denning /

Peter James Denning (ur. 6 stycznia 1942) to amerykański informatyk i pisarz. Najbardziej znany jest z pionierskich prac nad pamięcią wirtualną , zwłaszcza z wynalezienia modelu zestawu roboczego dla zachowania programu , który adresował thrashing w systemach operacyjnych i stał się wzorcem odniesienia dla wszystkich zasad zarządzania pamięcią . Znany jest również z prac dotyczących zasad działania systemów operacyjnych, analizy operacyjnej sieci kolejkowych, projektowania i implementacji CSNET, biblioteki cyfrowej ACM , kodyfikacji wielkich zasad informatyki , a ostatnio książki The Innovator's Way o innowacjach jako zestaw praktyk, których można się nauczyć.

Edukacja i wczesne życie

Denning urodził się 6 stycznia 1942 r. w Queens w stanie Nowy Jork, a wychował w Darien w stanie Connecticut. Wcześnie zainteresował się nauką, w szkole podstawowej zajmował się astronomią , botaniką , radiem i elektroniką . W Fairfield Prep wysłał zaprojektowane w domu komputery na targi naukowe w 1958, 1959 i 1960. Drugi komputer, który rozwiązywał równania liniowe za pomocą części do pinballa , zdobył główną nagrodę. Uczęszczał do Manhattan College na licencjat w EE (1964), a następnie do MIT na doktorat (1968). W MIT był częścią Project MAC i przyczynił się do zaprojektowania Multics . Jego praca doktorska pt. „Alokacja zasobów w wieloprocesowych systemach komputerowych” przedstawiła przełomowe idee w zestawach roboczych, lokalizacji, thrashingu i równowadze systemu.

Kariera i badania

Na Uniwersytecie Princeton w latach 1968-1972 napisał swoją klasyczną książkę „ Zasady systemów operacyjnych” z EG Coffmanem . Współpracował z Alfredem Aho i Jeffreyem Ullmanem nad dowodami optymalności algorytmów stronicowania oraz nad prostym dowodem, że kompilatory oparte na parsowaniu pierwszeństwa nie muszą się cofać. Na Purdue University (1972–1983) był promotorem wielu prac doktorskich, potwierdzających teorie zarządzania pamięcią oparte na lokalizacji oraz rozszerzających nową matematykę analizy operacyjnej sieci kolejkowych. Współzałożyciel CSNET . Został kierownikiem działu w 1979 roku i wraz z Jackiem Dennisem i Joe Qualitzem napisał kolejną książkę o modelach obliczeniowych, Maszyny, języki i obliczenia .

W NASA Ames w latach 1983-1991 założył Research Institute for Advanced Computer Science (RIACS) i przekształcił go w jeden z pierwszych ośrodków interdyscyplinarnych badań w dziedzinie nauk komputerowych i kosmicznych.

Na Uniwersytecie George'a Masona w latach 1991-2002 kierował Wydziałem Informatyki, był prodziekanem i prorektorem oraz założył Centrum Nowego Inżyniera. Centrum było pionierem w nauczaniu internetowym. Stworzył kurs projektowania dla inżynierów o nazwie Sense 21 , który był podstawą jego projektu, aby zrozumieć innowację jako umiejętność. Stworzył kurs na temat Core of Information, Technology na podstawie projektu Great Principles of Computing.

W Szkole Podyplomowej Marynarki Wojennej od 2002 roku kieruje Katedrą Informatyki, kieruje Instytutem Innowacji i Wyższości Informacyjnej im. Cebrowskiego. Przewodniczył radzie wydziału.

Denning pracował nieprzerwanie jako wolontariusz w Association for Computing Machinery (ACM) od 1967 roku. W tym czasie pełnił funkcję prezesa, wiceprezesa, trzech prezesów zarządu, Member-at-Large, redaktora ACM Computing Surveys i redaktora miesięcznika ACM Komunikacja . Otrzymał siedem nagród ACM za serwis, wkład techniczny i edukację. W czerwcu 2007 roku ACM przyznał mu nagrodę specjalną, uhonorowaną 40-letnią nieprzerwaną służbą.

Denning otrzymał 26 nagród za usługi i wkład techniczny. Obejmują one jedną nagrodę za jakość obsługi klienta, trzy stypendia stowarzyszenia zawodowego, trzy stopnie honorowe, sześć nagród za wkład techniczny, sześć za wybitną usługę i siedem za edukację.

Kariera Denninga polegała na poszukiwaniu fundamentalnych zasad w poddziedzinach informatyki. Pisze obficie. Od 1980 do 1982 roku jako Prezes ACM napisał 24 rubryki, skupiając się na technicznych i politycznych zagadnieniach tej dziedziny. W latach 1985-1993 napisał 47 kolumn na temat „The Science of Computing” dla magazynu American Scientist, skupiając się na zasadach naukowych z całej dziedziny. Od 2001 roku publikuje kwartalne rubryki „Zawód IT” dla Komunikacji ACM , koncentrując się na zasadach wartości dla praktykujących profesjonalistów.

Pamięć wirtualna

W 1970 roku opublikował klasyczny artykuł, w którym przedstawiono naukowe ramy pamięci wirtualnej i potwierdzające dowody naukowe, kładąc kres kontrowersjom dotyczącym stabilności i wydajności pamięci wirtualnej.

W 1966 zaproponował zestaw roboczy jako dynamiczną miarę zapotrzebowania na pamięć i wyjaśnił, dlaczego działa, wykorzystując ideę lokalności wprowadzoną przez Lesa Belady'ego z IBM . Jego papier do pracy stał się klasykiem. Otrzymał nagrodę ACM Best Paper w 1968 roku oraz nagrodę SIGOPS Hall of Fame Award w 2005 roku.

Zasady systemu operacyjnego

We wczesnych latach siedemdziesiątych współpracował z Edem Coffmanem Jr. nad teorią systemów operacyjnych , która stała się klasycznym podręcznikiem używanym na studiach magisterskich i pozostała w druku do 1995 roku. Ta książka pomogła rozwiać wątpliwości, czy dziedzinę systemów operacyjnych można traktować jako naukę.

W połowie lat 70. współpracował z Jeffreyem Buzenem przy analizie operacyjnej, rozszerzając podstawowe prawa operacyjne Buzena na wszystkie sieci kolejkowe. Ramy operacyjne wyjaśniały, dlaczego komputerowe modele wydajności działają tak dobrze, mimo że naruszają tradycyjne stochastyczne założenia Markowa. Stała się preferowaną metodą nauczania przewidywania wydajności na kursach komputerowych.

We wczesnych latach osiemdziesiątych był jednym z czterech głównych badaczy założycieli Computer Science Network sponsorowanego przez National Science Foundation . Pozostali trzej to Dave Farber , Larry Landweber i Tony Hearn. Kierowali rozwojem w pełni samonośnej sieci społecznościowej CS, która do 1986 r. obejmowała 165 witryn i 50 000 użytkowników. CSNET był kluczowym etapem przejściowym od oryginalnego ARPANET do NSFNET, a następnie do Internetu . W 2009 roku Internet Society przyznało CSNET prestiżową nagrodę Jon Postel, uznając jej kluczową rolę w łączeniu sieci ARPANET z NSFNET.

Kierował projektem Biblioteki Cyfrowej ACM 1992-97, który został uruchomiony w 1997 roku. Association for Computing Machinery stało się pierwszym stowarzyszeniem zawodowym, które zaoferowało w pełni przeszukiwalną bibliotekę wszystkiego, co kiedykolwiek publikowało.

Wielkie zasady informatyki

W 1999 r. rozszerzył poszukiwania fundamentalnych zasad na całość informatyki. Odkrycie naturalnych procesów informacyjnych w biologii, fizyce, ekonomii, materiałach i innych dziedzinach przekonało go, że podstawowe definicje obliczeń muszą zostać zmodyfikowane tak, aby obejmowały zarówno naturalne procesy informacyjne, jak i sztuczne. On i jego zespół opracowali projekt ramowy.

Ramy Great Principles ujawniły, że „innowacje” to podstawowa praktyka informatyczna. Nie mogąc znaleźć nikogo, kto rozumiałby, jak uczyć umiejętności innowacji, dołączył do Boba Dunhama i zidentyfikował osiem fundamentalnych praktyk innowacji. Opublikowali The Innovator's Way , książkę opisującą osiem zasadniczych praktyk udanej innowacji.

Edukacja informatyczna

Denning miał duży wpływ na edukację komputerową. Na początku lat 70. kierował zespołem zadaniowym, który zaprojektował pierwszy podstawowy kurs dotyczący zasad systemów operacyjnych (OS). OS stał się pierwszym niematematycznym kursem podstawowym CS. W połowie lat osiemdziesiątych kierował wspólnym komitetem ACM/IEEE, który opisał informatykę jako dyscyplinę z dziewięcioma obszarami funkcjonalnymi i trzema procesami poznawczymi, będącymi podstawą programu nauczania ACM 1991. W latach dziewięćdziesiątych wyruszył na poszukiwanie skodyfikowania wielkich zasad informatyki . Twierdzi, że informatyka jest nauką zarówno o naturalnych, jak i sztucznych procesach informacyjnych. NSF wyznaczyła go w 2007 r. jako Distinguished Education Fellow, aby zainicjować ruch mający na celu wykorzystanie ram Great Principles do innowacji w edukacji i badaniach. W 2009 roku SIGCSE (Specjalna Grupa ds. Edukacji Informatycznej) ACM doceniła jego wkład nagrodą za dożywotnią służbę.

Humor

Denning jest zagorzałym graczem, który często używa humoru, aby zdobyć punkty. Przykłady:

• Sekcja specjalna April Fool (kiedy był redaktorem), ACM Communications (kwiecień 1984).
• O pisaniu aktywnym i biernym traktat zachęcający uczniów do pisania aktywnym głosem.
• Opowieść o dwóch wyspach . Bajka o kontrowersji w teorii kolejek o analizę operacyjną. Opublikowany po raz pierwszy w 1991 r. Zawarty jako dodatek do przeglądu analizy operacyjnej z 2006 r.

cytaty

• Obliczanie jest zasadą; komputer jest narzędziem.
• Cała mowa jest wolna. To tylko konsekwencje, które cię dokuczają.
• Prośba nie jest zawarta w słowach, które wypowiadasz. Jest w słuchaniu tych, którzy cię słyszą.
• Po wielu latach prób, aby komputery myślały jak mózgi, naukowcy zajmujący się sztuczną inteligencją uzyskali mózgi, które myślą, że są komputerami.
• Lokalność jest zasadą natury. Buforowanie działa, ponieważ nasze mózgi organizują informacje według lokalizacji.
• Innowacja to nie genialne nowe pomysły; jest to nowa praktyka przyjęta przez społeczność.
• Solidarność, a nie oprogramowanie, generuje współpracę.

Publikacje

Denning jest autorem lub redaktorem 340 artykułów technicznych i jedenastu książek. Książki, wybór:

• 1973, z Edem Coffmanem. Teoria systemów operacyjnych . Prentice-Hall.
• 1978, z Jackiem Dennisem i Joe Qualitzem. Maszyny, języki i obliczenia . Prentice-Hall.
• 1997, z Bobem Metcalfe (red.) Beyond Calculation: The Next 50 Years of Computing . Księgi Kopernika.
• 2001. Niewidzialna przyszłość: bezproblemowa integracja technologii w życiu codziennym. McGraw-Hill.
• 2010. Droga innowatora: niezbędne praktyki dla udanej innowacji. MIT Naciśnij.
• 2015. Wielkie zasady informatyki. MIT Naciśnij.
• 2019, z Mattim Tedrem. Myślenie obliczeniowe. MIT Naciśnij.

Artykuły, wybór:

• 1968. „Model zbioru roboczego dla zachowania programu”. Komunikacja ACM (maj).
• 1970. „Pamięć wirtualna”. Ankiety ACM Computing (wrzesień).
• 1970. „Młot: jego przyczyny i zapobieganie”.
• 1976. „Odporne na awarie systemy operacyjne”. Ankiety ACM Computing (grudzień)
• 1978. z Jeffem Buzenem. „Analiza operacyjna modeli sieci kolejkowania”. Ankiety ACM Computing (wrzesień).
• 1980. „Praca wyznacza przeszłość i teraźniejszość”. Z IEEE Transactions Software Engineering , styczeń 1980.
• 1984, z Robertem Brownem. "System operacyjny". Wydanie Scientific American dotyczące oprogramowania.
• 1990, z Walterem Tichym. „Wysoce równoległe obliczenia”. Czasopismo naukowe , listopad.
• 1992. „Kształcenie nowego inżyniera”. Komunikacja ACM (grudzień).
• 2006. „Zasada lokalności”. Rozdział w sieciach i systemach komunikacyjnych (J Barria, Ed.). Imperial College Press.
• 2007. „Informatyka to nauka przyrodnicza”. Komunikacja ACM (lipiec).
• 2009, z Peterem Freemanem. „Paradygmat informatyki”. Komunikacja ACM (grudzień).
• 2010, z Fernando Floresem i Peterem Luzmorem. „Orkiestrowanie koordynacji w sieciach pluralistycznych”. Komunikacja ACM (marzec).

Życie osobiste

Ożenił się z Dorothy E. Denning w 1974 roku, znaną specjalistką od bezpieczeństwa komputerowego.

Bibliografia

Zewnętrzne linki

• Witryna Great Principles .
• Strona książki Art of Operating Systems .
• CS Unplugged , działająca aplikacja zasad w edukacji.
• Biblioteka Cyfrowa ACM
• Peter J. Denning, wywiad ustny , 10 kwietnia 2013. Charles Babbage Institute , University of Minnesota
• Peter J. Denning, wywiad ustny , 6–8 sierpnia 2007 r. Association for Computing Machinery