Netzpiloten Magazin





Autoren

Moshe Y. Vardi


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.