Joseph Goguen

From Wikipedia, the free encyclopedia

Joseph Goguen (28 June 1941 – 3 July 2006) was a computer science professor in the Department of Computer Science and Engineering at the University of California, San Diego, USA, who helped develop the OBJ family of programming languages. He was author of A Categorical Manifesto and Editor-in-Chief of the Journal of Consciousness Studies. Implication in product fuzzy logic is often called "Goguen implication".

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. From 1979 to 1988, he worked at SRI International in Menlo Park, California. From 1988 to 1996, he was a professor at the Oxford University Computing Laboratory and a Fellow at St. Anne's College, Oxford.

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. He also studied the philosophy of computation and information, formal methods (especially hidden algebra and theorem proving), relational and functional programming, and the notion of institution in computer science.

[edit] Bibliography

• Goguen, J.A., A Categorical Manifesto. Mathematical Structures in Computer Science, 1(1):49–67, 1991.
• Goguen, J.A. (editor), Art and the Brain. Journal of Consciousness Studies, 6(6/7), June/July 1999.

[edit] See also

• List of computer scientists

[edit] External links

• Home page
• Biographical information
• Publications
• Algebra, Meaning, and Computation. A Festschrift in Honor of Joseph Goguen
• Reviews of the first issues of the Journal of Consciousness Studies ...there is no other journal quite like it, and one day we shall, I think, look back to its appearance as a defining moment...
• Photo