 | 
Institute Affiliation:
California Institute for Telecommunications and Information Technology
Contact Information:
Email:
goguen@cs.ucsd.edu
Personal Home Page
Research Page
| | Joseph Goguen - Professor
His work on modular programming helped lay the groundwork for modern computer languages. His research now embraces the social aspects of technology and cognitive science.
A major achievement of Professor Goguen's was the OBJ language, which influenced the module systems of Ada, C++, and other programming languages. Goguen's formal methods for specifying program behavior with algebra provided a foundation for abstract data types. Hidden algebra is a new development, in which many mathematical proofs are simplified. Goguen has has recently applied these ideas, along with ideas from cognitive science, to human-computer interface design, opening a new area called algebraic semiotics. One recent paper is a socio-linguistic study of values in mathematical proofs, with implications for philosophy and education. In addition to his perspective on the history of computing, Goguen, who is Chief Editor of the Journal of Consciousness, is an excellent source for framing ethical, philosophical, and social issues raised by the rapid advance of science and technology in general and computer science in particular.
Capsule Bio:
Goguen runs CSE's Meaning and Computation Lab. H e came to UCSD in 1996. and served for three years as Director of the Program in Advanced Manufacturing. Prior to that he was a Professor at Oxford University, Director of its Centre for Requirements and Foundations, and a Fellow of St. Anne's College. Before that, he was a Senior Staff Scientist at SRI International, and a Senior Member of Stanford University's Center for the Study of Language and Information. He received his PhD from UC, Berkeley, in 1968, for pioneering work on fuzzy logic.
| |
