Professor in the Computer Science department at