Professor of Computer Science (as of January 1, 2016, on leave at American Association of University Professors)