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.

  • 4 Similar Profiles
Field programmable gate arrays (FPGA) Engineering & Materials Science
Computer programming languages Engineering & Materials Science
Embedded systems Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Costs Engineering & Materials Science
Image processing Engineering & Materials Science
Semantics Engineering & Materials Science
Real time systems Engineering & Materials Science

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

Research Output 1986 2019

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. ACM, p. 647-649 3 p.

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

Embedded systems
Computer systems programming
Real time systems
Field programmable gate arrays (FPGA)
Throughput

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
Storage allocation (computer)
Field programmable gate arrays (FPGA)
Image processing
Data storage equipment
Electric power utilization

Area-energy aware dataflow optimisation of visual tracking systems

Garcia, P., Bhowmik, D., Wallace, A., Stewart, R. & Michaelson, G., 8 Apr 2018, Applied Reconfigurable Computing: Architectures, Tools, and Applications. Springer, p. 523-536 14 p. (Lecture Notes in Computer Science; vol. 10824).

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

Open Access
File
Visual Tracking
Visual System
Tracking System
Data Flow
Refactoring

Expressiveness, meanings and machines

Davidson, J. R. & Michaelson, G. J., 24 Oct 2018, In : Computability. 7, 4, p. 367-394 28 p.

Research output: Contribution to journalArticle

Open Access
File
Semantics
Field programmable gate arrays (FPGA)
Syntactics

Microworlds, Objects First, Computational Thinking and Programming

Michaelson, G. J., Aug 2018, Computational Thinking in the STEM Disciplines: Foundations and Research Highlights. Khine, M. (ed.). Springer, p. 31-48 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Students
Teaching
Product design
Data structures
Concretes

Datasets

Activities 2016 2017

  • 2 Editorial activity

Association for Computing Machinery (ACM) (Publisher)

Robert Stewart (Editor), Gregory John Michaelson (Editor)
4 Feb 2017

Activity: Publication peer-review and editorial workEditorial activity

Association for Computing Machinery (ACM) (Publisher)

Robert Stewart (Editor), Gregory John Michaelson (Editor)
12 Mar 2016

Activity: Publication peer-review and editorial workEditorial activity