"Fernando J. Corbat\u00F3"@cs .