Joseph Goguen

Joseph Amadee Goguen was an American computer scientist who was professor of computer science at the University of California and the University of Oxford, and held research positions at IBM and SRI International. In the 1960s, working with Lotfi Zadeh, he was one of the earliest researchers in fuzzy logic and made significant contributions to fuzzy set theory. In the 1970s his work was among the earliest approaches to the algebraic characterization of abstract data types, and he originated and helped develop the OBJ family of programming languages; his development of institution theory influenced the field of universal logic, and standard implication in product fuzzy logic is often called the Goguen implication.