Nationality USA Doctoral advisor Lotfi A. Zadeh Fields Computer Science | Role Computer scientist Name Joseph Goguen | |
![]() | ||
Born 28 June 1941 ( 1941-06-28 ) Institutions University of California, BerkeleyUniversity of ChicagoIBM ResearchUniversity of California, Los AngelesSRI InternationalOxford UniversityUniversity of California, San Diego Alma mater Harvard UniversityUniversity of California, Berkeley Known for Software EngineeringFormal specificationAlgebraic semanticsGoguen categoriesConsciousness studies Died July 3, 2006, United States of America Books Algebraic Semantics of Imperative Programs, A Categorical Manifesto Education University of California, Berkeley (1968), Harvard University (1963) |
Lindsey hartfelder and joseph goguen junior recital
Joseph Amadee Goguen (28 June 1941 – 3 July 2006) was a U.S. computer scientist. He was professor of Computer Science at the University of California and Oxford University and held research positions at IBM and SRI International.
Contents
- Lindsey hartfelder and joseph goguen junior recital
- Education and academic career
- Research areas
- Personal views
- Books
- Selected publications
- References
Goguen's work was one of the earliest approaches to the algebraic characterization of abstract data types and he originated and helped develop the OBJ family of programming languages. He was author of A Categorical Manifesto and founder and Editor-in-Chief of the Journal of Consciousness Studies. His development of institution theory impacted the field of universal logic. Standard implication in product fuzzy logic is often called "Goguen implication". "Goguen categories" are named after him.
Education and academic career
Goguen received his Bachelor's degree in mathematics from Harvard University in 1963, and his PhD in mathematics from the University of California, Berkeley in 1968, where he was a student of the founder of fuzzy set theory Lotfi Zadeh.
He taught at UC Berkeley, the University of Chicago and University of California, Los Angeles, where he was a full professor of computer science. He held a Research Fellowship in the Mathematical Sciences at the IBM Watson Research Center, where he organized the "ADJ" group. He also visited the University of Edinburgh in Scotland on three Senior Visiting Fellowships.
From 1979 to 1988, Goguen worked at SRI International in Menlo Park, California. From 1988 to 1996, he was a professor at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in England and a Fellow at St Anne's College, Oxford. In 1996 he became professor of Computer Science at the University of California, San Diego.
Research areas
Goguen's research interests included category theory (a branch of mathematics), software engineering, fuzzy logic, algebraic semantics, user interface design, algebraic semiotics, and the social and ethical aspects of science and technology.
Lotfi Zadeh viewed Goguen's 1968 approach to “The Logic of Inexact Concepts” as seminal in the field of fuzzy logic. Goguen's PhD dissertation "Categories of fuzzy sets" was the first work to apply category theory to fuzzy logic, and led to "Goguen categories" named after him.
Goguen's research in the 1970s was one of the earliest approaches to the characterization of computational automata from a categorical perspective. Goguen's research with Thatcher, Wagner and Wright (also in the 1970s) was one of the earliest works to formalise the algebraic basis for data abstraction.
In the early 1990s Goguen and Burstall developed the theory of institutions, a category-theoretic description of logical systems in computer science. Institution theory impacted the development of universal logic and became one of its most studied aspects. The term "Carnapian Goguenism" is used to refer to the application of institutions to ontologies.
Goguen also studied the philosophy of computation and information, formal methods (especially hidden algebra and theorem proving), and relational and functional programming. He wrote a retrospective of his work and its context, Tossing Algebraic Flowers Down the Great Divide.
Personal views
Goguen was a practitioner of Tibetan Buddhism. Specifically, since the early 1970s he was a student of Chögyam Trungpa and, after his death in 1986, of his son Sakyong Mipham. During the late 1970s and early 1980s, he was a faculty member of the science program at the Naropa Institute in Boulder, Colorado.