I had to look up if he's ok, three decades later. It appears so: https://www.khoury.northeastern.edu/people/olin-shivers/ https://www.khoury.northeastern.edu/pe

I had to look up if he's ok, three decades later. It appears so: https://www.khoury.northeastern.edu/people/olin-shivers/ https://www.khoury.northeastern.edu/people/olin-shivers/ and https://www.ratemyprofessors.com/professor/923911 https://www.ratemyprofessors.com/professor/923911.