Faculty

Gerard J. Holzmann

Gerard Holzmann

Lecturer in Computing and Mathematics Sciences

Caltech Computing & Mathematical Sciences

Office: Annenberg IST Center

WORK MC 305-16
Pasadena CA 91125 USA

Research Website

Personal Website

Download vcard

Sign in with your access.caltech credentials to view records restricted to on-campus access.