"Thomas Keyes"@cs .