ist Professor für Informatik an der Rice Universität und unter anderem Direktor des Ken Kennedy Institute für Informationstechnologie. Zudem gilt er als Experte für Modellprüfung, Datenbanktheorie und theoretische Informatik.