A certain Professor at the Stanford University coined the word 'artificial intelligence' in 1956 at a conference held at Dartmouth college. Can you name the Professor?

• David Levy
• John McCarthy
• Joseph Weizenbaum
• Hans Berliner
• None of the above