Photo of Gregory John Michaelson

Gregory John Michaelson

Prof

  • EH14 4AS

    United Kingdom

1986 …2020

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Research interests

My research is in the broad area of formally motivated computing, focused on programming language design and implementation, in particular functional languages for parallel, distributed and mobile systems. At Heriot-Watt, I work with colleagues in our Dependable Systems Group. With Kevin Hammond at St Andrews, I am co-designer of the Hume programming language. I am currently involved in collaborative projects implementing Hume on heterogeneous platforms, including multi-core & FPGA, and on developing the Box Calculus for reasoning about Hume programs. I am also interested in foundational limitations to computing and their wider philosophical and social implications, working with Paul Cockshott at Glasgow.

Biography

I have a BA (Hons) in Computer Science from the University of Essex (1973), a research MSc in Computational Science from the University of St Andrews (1982) and a PhD from Heriot-Watt University (1993). I taught Computer Studies at Napier College (1977-79) and Computing Science at the University of Glasgow (1979-83) before joining Computer Science at Heriot-Watt in 1983. In 1988-89 I spent a year at CSIRO in Sydney, working on language support for a novel parallel architecture.

Fingerprint

Dive into the research topics where Gregory John Michaelson is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.