American computer scientist known for software engineering, formal specification, algebraic semantics, Goguen categories and Consciousness studies. He is, however, most famous for developing the OBJ language.
American computer scientist known for software engineering, formal specification, algebraic semantics, Goguen categories and Consciousness studies. He is, however, most famous for developing the OBJ language.