Deaths on July 3

Joseph Goguen, American computer scientist, developed the OBJ programming language (b. 1941)

Joseph Amadee Goguen ( GOH-gən; June 28, 1941 – July 3, 2006) was an American computer scientist. He was professor of Computer Science at the University of California and University of Oxford, and held research positions at IBM and SRI International.

In the 1960's, along with Lotfi Zadeh, Goguen was one of the earliest researchers in fuzzy logic and made profound contributions with lasting influence.

In the 1970's Goguen's work was one of the earliest approaches to the algebraic characterisation of abstract data types and he originated and helped develop the OBJ family of programming languages. He was author of A Categorical Manifesto and founder and Editor-in-Chief of the Journal of Consciousness Studies. His development of institution theory impacted the field of universal logic. Standard implication in product fuzzy logic is often called "Goguen implication". Goguen categories are named after him.He was married to Ryoko Amadee Goguen, who is a composer, pianist, and vocalist.