Faculty

Gerard J. Holzmann

Gerard J. Holzmann

Lecturer in Computing and Mathematical Sciences

Degrees and Appointments

B.S., Delft University of Technology (Netherlands), 1973; M.S., 1976; Ph.D., 1979. Faculty Associate, 2007-2012; Senior Faculty Associate, 2012-2016; Visiting Associate, 2017-18; Lecturer, Caltech, 2003-06; 2008; 2009; 2010; 2013; 2015; 2017; 2019.

CMS News about Gerard J. Holzmann

  • Dr. Holzmann Receives Harlan D. Mills Award »
  • Dr. Holzmann Receives NASA Exceptional Engineering Achievement Medal »
  • Dr. Holzmann Becomes An ACM Fellow »

  • Read more news about Gerard J. Holzmann »