Joseph Goguen
| Joseph A. Goguen | |
|---|---|
Joseph Goguen in 2004
|
|
| Born | 28 June 1941 |
| Died | 3 July 2006 (aged 65) San Diego, USA |
| Nationality | USA |
| Fields | Computer Science |
| Institutions |
University of California, Berkeley University of Chicago IBM Research University of California, Los Angeles SRI International Oxford University University of California, San Diego |
| Alma mater |
Harvard University University of California, Berkeley |
| Doctoral advisor | Lotfi Zadeh |
| Known for |
Software Engineering Formal specification Algebraic semantics Goguen categories Consciousness studies |
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.
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.
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.
...
Wikipedia