Early in his career, in the 1970s, he worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science).

He has also spent time at the Massachusetts Institute of Technology (MIT) in the United States.

[2] In 2003, he co-founded Bluespec, Inc., a United States electronic design automation company.

It provides a functional programming language named Bluespec SystemVerilog (BSV), a Haskell variant extended as a high-level hardware description language to design electronic chips.

You can help Wikipedia by expanding it.This biography article of a United Kingdom academic is a stub.