one of my major professors died this morning