Dexter Kozen received an Engineering Teaching Award