File:John Cocke (computer scientist).jpg