John Gallagher

Program-Transformation.Org: The Program Transformation Wiki
John Gallagher works in program analysis and transformation of logic programs

Homepage: http://www.cs.bris.ac.uk/~john/