"Jonathan Greer"@cs .