|Question 26Verbal

Source Texts

Text
While researching a topic, a student has taken the following notes:
- The A.M. Turing Award is a prestigious award given by the Association for Computing Machinery (ACМ).
- The ACM gives the award for "major contributions of lasting importance to computing."
- It is named after groundbreaking British mathematician Alan Turing.
- Amir Pnueli won the award in 1996 for seminal work introducing temporal logic into computing science.
The student wants to explain whom the award is named for. Which choice most effectively uses relevant information from the notes to accomplish this goal?
The A.M. Turing Award is given for "major contributions of lasting importance to computing."
A
In 1996, Amir Pnueli won the A.M. Turing Award for seminal work introducing temporal logic into computing science.
B
It was in 1996 that Amir Pnueli won the A.M. Turing Award.
C
The A.M. Turing Award is named for groundbreaking British mathematician Alan Turing.
D