Hugh C. Lauer, Ph. D.

Teaching Professor (retired, 2019)

Computer Science Department

Worcester Polytechnic Institute

100 Institute Road,

Worcester, MA 01609-2280

E-mail: <my last name> at wpi.edu

My 1972 PhD Dissertation from CMU, "Correctness in Operating Systems."