John S. McCain Jr. graduated in 1931.
Jean-Yves Girard -LRB- -LSB- ʒiʁaʁ -RSB- ; born 1947 -RRB- is a French logician working in proof theory .. logician. logician. proof theory. proof theory. He is the research director -LRB- emeritus -RRB- at the mathematical institute of Luminy .. emeritus. emeritus. Luminy. Faculte des Sciences de Luminy