Józef Goguen - Joseph Goguen
Józef A. Goguen | |
---|---|
Urodzić się | 28 czerwca 1941 |
Zmarł | 3 lipca 2006
San Diego, Kalifornia , USA
|
(w wieku 65 lat)
Narodowość | nas |
Alma Mater |
Uniwersytet Harvarda, Uniwersytet Kalifornijski, Berkeley |
Znany z |
Kategorie Goguen Specyfikacja formalna Semantyka algebraiczna Kategorie Goguen Rodzina języków programowania OBJ Teoria instytucji / teoria modeli instytucjonalnych Studia nad świadomością |
Małżonkowie | Ryoko Amadee Goguen |
Kariera naukowa | |
Pola | Informatyka |
Instytucje |
Uniwersytet Kalifornijski, Berkeley University of Chicago IBM Research University of California, Los Angeles SRI Międzynarodowy Uniwersytet Oksfordzki Uniwersytet Kalifornijski, San Diego |
Doradca doktorski | Lotfi Zadeh |
Joseph Amadee Goguen ( / ɡ oʊ ɡ ən / GOH -gən ; 28 czerwca 1941 - 3 lipca 2006), amerykański informatyk . Był profesorem informatyki na Uniwersytecie Kalifornijskim i Uniwersytecie Oksfordzkim oraz zajmował stanowiska badawcze w IBM i SRI International .
W latach sześćdziesiątych, wraz z Lotfi Zadeh , Goguen był jednym z pierwszych badaczy logiki rozmytej i wniósł głęboki wkład o trwałym wpływie. W latach siedemdziesiątych praca Goguena była jednym z najwcześniejszych podejść do algebraicznej charakteryzacji abstrakcyjnych typów danych, a on zapoczątkował i pomógł rozwinąć rodzinę języków programowania OBJ . Był autorem Manifestu kategorycznego oraz założycielem i redaktorem naczelnym Journal of Consciousness Studies . Jego rozwój teorii instytucji wpłynął na dziedzinę logiki uniwersalnej . Standardowa implikacja w logice rozmytej produktu jest często nazywana „implikacją Goguena”. Kategorie Goguen są nazwane jego imieniem.
Był żonaty z Ryoko Amadee Goguen, która jest kompozytorką, pianistką i wokalistką.
Edukacja i kariera akademicka
Goguen otrzymał licencjat z matematyki z Uniwersytetu Harvarda w 1963 roku, a doktorat z matematyki na Uniwersytecie Kalifornijskim w Berkeley w 1968 roku, gdzie był uczniem założyciela teorii zbiorów rozmytych Lotfi Zadeh .
Wykładał na UC Berkeley , University of Chicago oraz University of California w Los Angeles , gdzie był profesorem informatyki . Odbył stypendium naukowe w dziedzinie nauk matematycznych w IBM Watson Research Center , gdzie zorganizował grupę „ADJ”. Odwiedził także Uniwersytet Edynburski w Szkocji w ramach trzech stypendiów Senior Visiting Fellowships.
Od 1979 do 1988 roku Goguen pracował w SRI International w Menlo Park w Kalifornii. W latach 1988-1996 był profesorem w Oxford University Computing Laboratory (obecnie Wydział Informatyki Uniwersytetu Oksfordzkiego ) w Anglii oraz Fellow w St Anne's College w Oksfordzie . W 1996 roku został profesorem informatyki na Uniwersytecie Kalifornijskim w San Diego .
Obszary badawcze
Zainteresowania badawcze Goguena obejmowały teorię kategorii (gałąź matematyki ), inżynierię oprogramowania , logikę rozmytą , semantykę algebraiczną , projektowanie interfejsu użytkownika , semiotykę algebraiczną oraz społeczne i etyczne aspekty nauki i technologii. We wstępie do książki poświęconej Goguenowi Futatsugi , Jouannaud i Meseguer stwierdzili, że praca Goguena zmieniła sposób, w jaki myślimy o takich pojęciach, jak typy danych, języki programowania i specyfikacja oprogramowania.
W recenzji prac Goguena nad zbiorami rozmytymi Radim Belohlavek napisał, że we wczesnych stadiach rozwoju systemów rozmytych, Goguen wniósł głęboki wkład o trwałym wpływie. Lotfi Zadeh postrzegał podejście Goguena z 1968 r. do „Logiki niedokładnych pojęć” jako przełomowe w dziedzinie logiki rozmytej . Rozprawa doktorska Goguena „Kategorie zbiorów rozmytych” była pierwszą pracą, w której zastosowano teorię kategorii do logiki rozmytej i doprowadziła do nazwania kategorii Goguena jego imieniem.
Badania Goguena w latach 70. były jednym z najwcześniejszych podejść do charakterystyki automatów obliczeniowych z perspektywy kategorycznej. Badania Goguena z Thatcher, Wagnerem i Wrightem (również w latach 70.) były jedną z najwcześniejszych prac formalizujących algebraiczną podstawę abstrakcji danych.
Na początku lat 90. Goguen i Rod Burstall opracowali teorię instytucji , stanowiącą teoretyczny opis systemów logicznych w informatyce. Teoria instytucji wpłynęła na rozwój logiki uniwersalnej i stała się jednym z jej najbardziej badanych aspektów. Określenie „ Carnapian Goguenism” jest używany w odniesieniu do stosowania instytucji do ontologii.
Goguen studiował również filozofię obliczeń i informacji, metody formalne (zwłaszcza ukrytą algebrę i dowodzenie twierdzeń ) oraz programowanie relacyjne i funkcjonalne . Napisał retrospektywę swojej pracy i jej kontekstu, Tossing Algebraic Flowers Down the Great Divide .
Poglądy osobiste
Goguen był praktykującym buddyzm tybetański . W szczególności od wczesnych lat siedemdziesiątych był uczniem Chögyama Trungpy, a po jego śmierci w 1986 roku jego syna Sakyong Miphama . W późnych latach 70. i wczesnych 80. był członkiem wydziału programu naukowego w Instytucie Naropa w Boulder w Kolorado .
Książki
- Goguen, Joseph A., Semantyka algebraiczna programów imperatywnych , MIT Press (1996). ISBN 978-0262071727 .
- Goguen, Joseph A. i Malcolm, Grant, Inżynieria Oprogramowania z OBJ , Springer (2000). ISBN 978-1441949653 .
- Kokichi Futatsugi i in., Algebra, Znaczenie i obliczenia: eseje dedykowane Josephowi A. Goguenowi , Springer (2006). ISBN 978-3540354628 .
Wybrane publikacje
- Goguen, JA, " Zbiory L- rozmyte", Journal of Mathematical Analysis and Applications 18 (1): 145-174 (1967).
- Goguen, JA, „Logika niedokładnych pojęć”, Synthese 19 (3/4): 325-373 (1969).
- Goguen, JA i JW Thatcher. „Początkowa semantyka algebry”, w Proceedings, Fifteenth Symposium on Switching and Automata Theory , IEEE , strony 63-77 (1974).
- Goguen, JA, J. Thatcher i E. Wagner. „Wstępne podejście algebry do specyfikacji, poprawności i implementacji abstrakcyjnych typów danych”, w Current Trends in Programming Methodology , t. IV: Struktura danych, Raymond T. Yeh (red.), Prentice Hall , s. 80-149 (1978).
- Goguen, JA, "Manifest kategoryczny", Struktury matematyczne w informatyce 1 (1): 49-67 (1991).
- Goguen, JA (red.), Sztuka i mózg , Journal of Consciousness Studies 6 (6/7) (1999).