Joseph Goguen

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 include Category Theory (a branch of Mathematics ), Software Engineering , User Interface design, and the Social and Ethical aspects of science and technology. He also studies 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.

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 .

	CATEGORIES ABOUT JOSEPH GOGUEN

	1941 births

	2006 deaths

	american academics

	american computer scientists

	members of oxford university computing laboratory

	journal editors

	formal methods people

	fellows of st annes college, oxford

Information About