Where do I start?  His research led to the languages OBJ [ObjLanguage] and FOOPS, he is the Editor in Chief of the Journal of Consciousness. His work has introduced me and many others to abstract algebra and functional programming. He has written many ground breaking papers on the subject of software reuse. See Tossing Algebraic Flowers down the Great Divide. Also check out his recent Tatami project.
I'm obviously a big fan of Goguen --RobertDiFalco
Joseph Goguen's OBJ3 system has seen new development. It is now OpenSource, runs on Linux, and is available via http://www.kindsoftware.com/products/opensource/. JosephKiniry is the new-ish OBJ3 maintainer and one of Joseph's current unofficial Ph.D. advisees. (Sorry for all the "Josephs" - it gets confusing once in a while.) --JosephKiniryCategoryPerson