Robert P. DeVecchi — American academic (1930–2015)