Profile

1676-holzmann

Gerard Holzmann

Visiting Associate in Computing and Mathematical Sciences; Lecturer in Computing and Mathematical Sciences

Degrees and Appointments

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

Email: gholzmannSymbolatacm.org

Tel: 818-393-5937

301R225l Off Site: JPL, MC 305-16, Pasadena, CA 91125

Research Group
Personal Page
Department of Computing + Mathematical Sciences