William McKeeman (?), professor of computer science