"Jack Manning"@cs .