"Paul Gallagher"@cs .