David E Clarke, PhD