Photo of Gregory John Michaelson

Gregory John Michaelson

Prof

  • EH14 4AS

    United Kingdom

1986 …2020

Research output 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.

  • 5 Similar Profiles

Co Author Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Open Access
File
  • 8 Downloads (Pure)

    Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell

    Belikov, E., Loidl, H-W. & Michaelson, G., 24 Apr 2019, Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). p. 1-19 19 p. (Lecture Notes in Computer Science; vol. 11457).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Graphical Program Transformations for Embedded Systems

    Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., 8 Apr 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, p. 647-649 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Citation (Scopus)

    Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing

    Garcia, P., Bhowmik, D., Stewart, R., Michaelson, G. & Wallace, A. M., 1 Jan 2019, In : Journal of Imaging. 5, 1, 7.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 4 Citations (Scopus)
    13 Downloads (Pure)

    Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs

    Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., Dec 2019, In : Journal of Systems Architecture. 101, 101657.

    Research output: Contribution to journalArticle

    Open Access
    File
  • 15 Downloads (Pure)

    Datasets

    Open dataset for "Parallel Mean Shift Accuracy and Performance Trade-Offs"

    Stewart, R. J. (Contributor), Duncan, K. (Creator) & Michaelson, G. J. (Contributor), Heriot-Watt University, 24 May 2018

    Dataset

    Activities

    • 2 Editorial activity

    Association for Computing Machinery (Publisher)

    Robert Stewart (Editor) & Gregory John Michaelson (Editor)

    4 Feb 2017

    Activity: Publication peer-review and editorial workEditorial activity

    Association for Computing Machinery (Publisher)

    Robert Stewart (Editor) & Gregory John Michaelson (Editor)

    12 Mar 2016

    Activity: Publication peer-review and editorial workEditorial activity