Office: 3131 Applied Physics & Math Building
Joseph Goguen is a Professor of computer science and engineering at
the University of California at San Diego, where he is also Director of
the Meaning and Computation Lab, and was previously Director of the
Program in Advanced Manufacturing. From 1988 to 1996, he was the
Professor of Computing Science, in the Programming Research Group of
the Oxford University Computing Lab, Director of the Centre for
Requirements and Foundations, and a Fellow of St. Anne's College. From
1979 to 1988, he was a Senior Staff Scientist at SRI International, and
a Senior Member of the Center for the Study of Language and Information
at Stanford University.
In 1999, he was a Fellow of the Japan Society
for the Promotion of Science.
Professor Goguen has a bachelor degree from Harvard, a PhD from
Berkeley, and has previously taught at Berkeley, Chicago, and UCLA. He
has held a Research Fellowship in the Mathematical Sciences at the IBM
Watson Research Center, has held three Senior Visiting Fellowships at
the University of Edinburgh, has given distinguished lectures at the
Universities of Syracuse, Glasgow and Texas, and has recently given
invited addresses at conferences on formal methods, metaphor theory,
software re-use, requirements engineering, and semiotics.
Professor Goguen is author or co-author of over 200 publications,
co-author of two books on algebraic semantics, co-editor of two other
books, and author of one book in preparation. He has served as an
editor for the Cambridge University Press Tracts in Theoretical
Computer Science, and currently serves as editor of eight professional
journals, including Editor in Chief of the
Journal of Consciousness Studies.
His research interests include: sociology of technology and science;
user interface design; semiotics; software engineering (especially
specification, modularization, architecture, requirements and
evolution); discourse analysis; theorem proving; object oriented,
relational and functional programming and their combinations; and fuzzy
logic. Prof. Goguen is particularly known for his role in founding
algebraic specification, including abstract data types, initial model
semantics, and the OBJ language, the module system of which has
influenced designs of the Ada, ML, and C++ langauges. Recent work
concerns
ethical issues in information technology,
the application of semiotics to user interface design, the development
of a rigorous
algebraic semiotics
with a social basis that avoids reifying signs,
and the development of a behavioral logic for computer science
with a specification language and environment to support it.
