"Walter Senior"@cs .