"Jeremy Wray"@cs .