David E. Clarke, PhD