Clarke es el Profesor "FORE Systems" de Ciencias de la Computación en la Universidad Carnegie Mellon.