Dr
Geoff
Hamilton

Primary Department
Faculty of Engineering and Computing
Role
Associate Professor
Work Area/Key Responsibilities
Computing
Phone number: 01 700
5017
Campus
Glasnevin Campus
Room Number
L2.55

Academic biography

Dr. Geoff Hamilton graduated from the University of Stirling, Scotland with a first class honours degree in 1989. He was awarded a Ph.D. from the University of Stirling in 1993. Geoff joined the Computer Science Department in the University of Keele, England as a lecturer in 1993, and then moved to the School of Computer Applications, DCU in 1998, where he is currently an associate professor.

Research interests

My early research work was in the areas of program analysis and program transformation. This included the first extension of the deforestation algorithm to higher-order languages. Similar techniques were then used in an extension of the positive supercompilation algorithm to higher-order languages. A new transformation algorithm called the distillation algorithm was then built on top of positive supercompilation. This is a major advance over previous approaches, and gives orders of magnitude improvement in both the time and space usage of the transformed programs over what can be achieved using deforestation or positive supercompilation.

A hierarchy of program transformers was then developed, where the transformer at each level is built on top of those at lower levels, and more powerful transformations are obtained as we move up through this hierarchy. It turns out that these transformers can be applied in many different areas including theorem proving, automatic program construction, verification, optimisation, termination checking, parallelisation, complexity analysis and energy efficient computing.