nLab Joseph Goguen

Contents

nLab

Computer scientist and applied category theorist, 28th June 1941 – 3rd July 2006. His theoretical work includes the algebraic theory of abstract data types, initial model semantics, institutions?, order sorted algebra, parameterized programming, database integration, hidden algebra, sheaf semantics of interacting objects, and algebraic semiotics. Very important to computer science was his rôle in founding algebraic specification, including abstract data types, modules and module composition, and the OBJ language family. Goguen wrote _A Categorical Manifesto_, which tried to encourage the use of category theory in computer science.

Goguen’s Web site at UCSD

Wikipedia entry for Joseph Goguen

category: people

Revised on September 28, 2013 17:19:29 by heisenbug? (84.148.4.144)