Charles L. A. Clarke is a Professor of Computer Science at the University of Waterloo's David R. Cheriton School of Computer Science.