Citation:
John McCarthy was a pioneering computer scientist known for coining the term 'artificial intelligence' and for his contributions to the development of AI programming languages and theories. His work laid the foundation for various areas in computer science, particularly in unification and logic-based problem-solving techniques, which are crucial for automated theorem proving and AI applications.