Faculty of Engineering and Computing
Work Area/Key Responsibilities
Phone number: 01 700
Academic biography Dr.
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 research interests are in the areas of program analysis and
program transformation. Early research included the first extension of the
deforestation algorithm to higher-order languages.
More recent research in the area of program transformation has
resulted in the development of the distillation
which is a major advance over deforestation and gives
magnitude improvement in both the time and space usage of
programs, as opposed to the higher-order deforestation
which can only give a linear improvement. Distillation
can be applied in many different areas including theorem proving,
automatic program construction, verification, program optimisation,
parallelization and energy efficient computing.