Joseph Goguen
American computer scientist / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Joseph Goguen?
Summarize this article for a 10 year old
Joseph Amadee Goguen (/ˈɡoʊɡən/ GOH-gən; June 28, 1941 – July 3, 2006) was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.
Joseph A. Goguen | |
---|---|
Born | (1941-06-28)June 28, 1941 |
Died | July 3, 2006(2006-07-03) (aged 65) San Diego, California, U.S. |
Nationality | American |
Alma mater | Harvard University University of California, Berkeley |
Known for | Goguen categories Formal specification Algebraic semantics Goguen categories OBJ family of programming languages Institution theory/institutional model theory Consciousness studies |
Spouse | Ryoko Amadee Goguen |
Scientific career | |
Fields | Computer science |
Institutions | University of California, Berkeley University of Chicago IBM Research University of California, Los Angeles SRI International University of Oxford University of Edinburgh University of California, San Diego |
Doctoral advisor | Lotfi Zadeh |
In the 1960s, along with Lotfi Zadeh, Goguen was one of the earliest researchers in fuzzy logic and made profound contributions to fuzzy set theory.[1][2] In the 1970s Goguen's work was one of the earliest approaches to the algebraic characterisation of abstract data types and he originated and helped develop the OBJ family of programming languages.[3][4] He was author of A Categorical Manifesto and founder[5] and Editor-in-Chief of the Journal of Consciousness Studies. His development of institution theory impacted the field of universal logic.[6][7] Standard implication in product fuzzy logic is often called "Goguen implication".[8] Goguen categories are named after him.[9][10]
He was married to Ryoko Amadee Goguen, who is a composer, pianist, and vocalist.[11]