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.
![Kohlekraftwerk (adapted) (Image by 526663 [CC0 Public Domain] via Pixabay)](https://test.netzpiloten.de/wp-content/uploads/2017/09/Kohlekraftwerk-adapted-Image-by-526663-CC0-Public-Domain-via-Pixabay.jpg)
