En 1983, se doctoró por la Universidad Carnegie Mellon, su tesis doctoral se tituló "La manipulación algebraica de las limitaciones".